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"