chiark - git - mdw - profile/blob - bin/run-with-shell-env

   1 #! /bin/bash -x
   2 exec >/tmp/mdw/hacky.log 2>&1
   3 declare -a original_args=("$@")
   4 case ${__mdw_profile+t} in
   5   t) ;;
   6   *)
   7     __mdw_force_secure_session=yes
   8     export SHELL=/bin/bash USER=$(/bin/id -un)
   9     set +x
  10     . $HOME/.bash_profile
  11     set -x
  12     ;;
  13 esac
  14 exec "${original_args[@]}"