chiark / gitweb /
bin/disorder-notify: Rewrite and take over the functionality of `media-keys'.
[profile] / 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[@]}"