SOURCES: devtodo.csh (NEW), devtodo.sh (NEW) - devtodo.sh and devtodo.csh p...

[blues]

Author: blues                        Date: Wed Sep 10 09:44:29 2008 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- devtodo.sh and devtodo.csh profile scripts

---- Files affected:
SOURCES:
   devtodo.csh (NONE -> 1.1)  (NEW), devtodo.sh (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/devtodo.csh
diff -u /dev/null SOURCES/devtodo.csh:1.1
--- /dev/null	Wed Sep 10 11:44:30 2008
+++ SOURCES/devtodo.csh	Wed Sep 10 11:44:23 2008
@@ -0,0 +1,3 @@
+alias cwdcmd devtodo --timeout --summary
+devtodo --timeout --summary
+

================================================================
Index: SOURCES/devtodo.sh
diff -u /dev/null SOURCES/devtodo.sh:1.1
--- /dev/null	Wed Sep 10 11:44:30 2008
+++ SOURCES/devtodo.sh	Wed Sep 10 11:44:24 2008
@@ -0,0 +1,26 @@
+TODO_OPTIONS="--timeout --summary"
+
+cd()
+{
+	if builtin cd "$@"; then
+		devtodo ${TODO_OPTIONS}
+	fi
+}
+
+pushd()
+{
+	if builtin pushd "$@"; then
+		devtodo ${TODO_OPTIONS}
+	fi
+}
+
+popd()
+{
+	if builtin popd "$@"; then
+		devtodo ${TODO_OPTIONS}
+	fi
+}
+
+# Run todo initially upon login
+devtodo ${TODO_OPTIONS}
+
================================================================