* categorize directories to Dev or TipAndDoc

[lab.git] / .bash_profile

diff --git a/.bash_profile b/.bash_profile
deleted file mode 100644 (file)
index 21e6365..0000000
--- a/.bash_profile
+++ /dev/null
@@ -1,6 +0,0 @@
-# set PATH so it includes user's private bin if it exists
-if [ -d "$HOME/.bin" ] ; then
-    PATH="$HOME/.bin:$PATH"
-fi
-
-/usr/bin/screen -d -RR -U