chiark
/
gitweb
/
~mdw
/
profile
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
mdw/build: Keep track of the original source directory in `$toppath'.
[profile]
/
bin
/
run-with-shell-env
1
#! /bin/bash -x
2
exec >/tmp/mdw/hacky.log 2>&1
3
case ${__mdw_profile+t} in
4
t) ;;
5
*)
6
__mdw_force_secure_session=yes
7
export SHELL=/bin/bash USER=$(/bin/id -un)
8
set +x
9
. $HOME/.bash_profile
10
set -x
11
;;
12
esac
13
exec "$@"