chiark - git - mdw - profile/blob - 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 "$@"