36 lines
		
	
	
		
			964 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			36 lines
		
	
	
		
			964 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
#!/bin/bash
 | 
						|
# -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8
 | 
						|
source "$(dirname -- "$0")/load.sh" || exit 1
 | 
						|
export NULIBDIR NULIBINIT
 | 
						|
 | 
						|
ac_set_tmpfile bashrc
 | 
						|
echo >"$bashrc" "\
 | 
						|
if ! grep -q '/etc/bash.bashrc' /etc/profile; then
 | 
						|
  [ -f /etc/bash.bashrc ] && source /etc/bash.bashrc
 | 
						|
fi
 | 
						|
if ! grep -q '~/.bashrc' ~/.bash_profile; then
 | 
						|
  [ -f ~/.bashrc ] && source ~/.bashrc
 | 
						|
fi
 | 
						|
[ -f /etc/profile ] && source /etc/profile
 | 
						|
[ -f ~/.bash_profile ] && source ~/.bash_profile
 | 
						|
 | 
						|
# Modifier le PATH. Ajouter le chemin vers les scripts de support
 | 
						|
#PATH=$(qval "$MYDIR:$PATH")
 | 
						|
 | 
						|
if [ -n '$DEFAULT_PS1' ]; then
 | 
						|
  DEFAULT_PS1=$(qval "[nulib-shell] $DEFAULT_PS1")
 | 
						|
else
 | 
						|
  if [ -z '$PS1' ]; then
 | 
						|
    PS1='\\u@\\h \\w \\$ '
 | 
						|
  fi
 | 
						|
  PS1=\"[nulib-shell] \$PS1\"
 | 
						|
fi
 | 
						|
$(qvals source "$MYDIR/load.sh")"
 | 
						|
 | 
						|
"$SHELL" --rcfile "$bashrc" -i -- "$@"
 | 
						|
# note: ne pas faire exec "$SHELL", parce que sinon le fichier temporaire bashrc
 | 
						|
# n'est pas supprimé
 | 
						|
 | 
						|
ac_clean "$bashrc"
 | 
						|
exit 0
 |