bin/wakey.sh: Rename, now that it's not `zsh'-specific.
[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 "$@"