From f6222068ce9d46c2df6c804db1b36d2cb46c445a Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc" Date: Sun, 6 Dec 2020 13:09:09 -0600 Subject: [PATCH] Utility to source to setup a bash development environment --- MANIFEST.in | 1 + dir_setup | 11 +++++++++++ 2 files changed, 12 insertions(+) create mode 100644 dir_setup diff --git a/MANIFEST.in b/MANIFEST.in index 42f761c..25c7ded 100644 --- 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 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 -- 2.34.1