Utility to source to setup a bash development environment

diff --git a/MANIFEST.in b/MANIFEST.in
index 42f761cb3f3e1532b80d5c534cf5c553ea5988ae..25c7ded4b59cfdf6765da51428ac7e3101298247 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1,6 +1,7 @@
 recursive-include tests *.py
 include bump_version
 include .coveragerc
+include dir_setup
 # Include Makefile includes
 include *.mk
 include LICENSE.txt

diff --git a/dir_setup b/dir_setup
new file mode 100644 (file)
index 0000000..aac6bef
--- /dev/null
+++ b/dir_setup
@@ -0,0 +1,11 @@
+# Setup bash's pushd with all the pgui directories
+
+# This is ment to be sourced, from the pgwui directory which holds
+# all the pgwui source.
+
+for d in pgwui_* ; do
+  cd $d/PGWUI_*
+  pushd ../..
+done
+
+popd