d84bfa78e1
This option allows the user to specify commands to run when the shell exits. This can be used to cleanup operations done in `extraCmds'. Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
14 lines
197 B
Bash
14 lines
197 B
Bash
#!/bin/sh
|
|
|
|
OLDPATH="$PATH"
|
|
OLDTZ="$TZ"
|
|
source @myenvpath@
|
|
|
|
PATH="$PATH:$OLDPATH"
|
|
export PS1="\n@name@:[\u@\h:\w]\$ "
|
|
export buildInputs
|
|
export NIX_STRIP_DEBUG=0
|
|
export TZ="$OLDTZ"
|
|
|
|
@shell@ --norc
|
|
|