Author: justi9
Date: 2007-10-13 19:26:38 -0400 (Sat, 13 Oct 2007)
New Revision: 1053
Modified:
mgmt/bin/devel
Log:
Enter the devel dir on starting the devel environment.
Modified: mgmt/bin/devel
===================================================================
--- mgmt/bin/devel 2007-10-13 23:13:07 UTC (rev 1052)
+++ mgmt/bin/devel 2007-10-13 23:26:38 UTC (rev 1053)
@@ -7,8 +7,10 @@
echo "DEVEL_HOME is ${DEVEL_HOME}"
-source "${DEVEL_HOME}/etc/devel.profile"
+cd "$DEVEL_HOME"
+source "etc/devel.profile"
+
devel-etags
-exec emacs -nw -l "${DEVEL_HOME}/etc/devel.el"
+exec emacs -nw -l "etc/devel.el"