Index: TipAndDoc/.bash_profile
===================================================================
--- TipAndDoc/.bash_profile	(revision 8333ea00a9fe608c90c20af12ea0c51548f66f4e)
+++ TipAndDoc/.bash_profile	(revision 5650e43cb0dd536fe7731d612fea18c389a44b83)
@@ -1,2 +1,9 @@
+# add /usr/local/sbin, /usr/sbin, /sbin to $PATH
+echo $PATH | grep /usr/local/sbin 1> /dev/null 2> /dev/null
+if [ ! $? = 0 ]; then
+    PATH=/usr/local/sbin:/usr/sbin:/sbin:$PATH
+fi
+
+
 # set PATH so it includes user's private bin if it exists
 if [ -d "$HOME/.bin" ] ; then