# when I become root with sudo -s and what a better environment that the bare
# bones root environment gives you. Note that for us to be effective one must
# source (or .) this file and if so the ${BASH_ARGV[0]} is the normal $0
# when I become root with sudo -s and what a better environment that the bare
# bones root environment gives you. Note that for us to be effective one must
# source (or .) this file and if so the ${BASH_ARGV[0]} is the normal $0