exec env -i ENV="/etc/minimal-shellrc" HOME="$HOME" TERM="$TERM" ksh
}
+ # make a backup of a file
+ bk() {
+ cp -a "$1" "${1}_$(date --iso-8601=seconds)"
+ }
+
# Switching shell safely and efficiently? http://www.zsh.org/mla/workers/2001/msg02410.html
# bash() {
# NO_SWITCH="yes" command bash "$@"