if [ $# != 1 ]; then
    . usage "'shell command'"
fi
T=`mktemp`
(
# TODO loading bash_profile and bashrc like this is wrong, but probably won't hurt
echo '. $HOME/.bash_profile'
echo '. $HOME/.bashrc'
echo "$1"
) >"$T"
bash --rcfile "$T"
rm "$T"
