# Executed by non-login interactive shell
# This should produce no output, otherwise various utils will get unhappy
# (scp, rsync...)
#echo "<*> Executing ~/.bashrc from '$0'. Command line: '$*'"
#ps -H e
#echo "<*> Finished ~/.bashrc"
