| 1 |
# Copyright (C) 2001 Geert Bevin, Uwyn, http://www.uwyn.com
|
| 2 |
# Distributed under the terms of the GNU General Public License, v2 or later
|
| 3 |
# Author : Geert Bevin <gbevin@uwyn.com>
|
| 4 |
# $Header$
|
| 5 |
source /etc/profile
|
| 6 |
|
| 7 |
if [[ -n ${LD_PRELOAD} && ${LD_PRELOAD} != *$SANDBOX_LIB* ]] ; then
|
| 8 |
export LD_PRELOAD="${SANDBOX_LIB} ${LD_PRELOAD}"
|
| 9 |
elif [[ -z ${LD_PRELOAD} ]] ; then
|
| 10 |
export LD_PRELOAD="${SANDBOX_LIB}"
|
| 11 |
fi
|
| 12 |
|
| 13 |
alias make="make LD_PRELOAD=${LD_PRELOAD}"
|
| 14 |
alias su="su -c '/bin/bash -rcfile ${SANDBOX_BASHRC}'"
|
Parent Directory
| 
Revision Log