diff --git a/tools/bin/td b/tools/bin/td index 0fa9bd2..2b58be6 100644 --- a/tools/bin/td +++ b/tools/bin/td @@ -171,7 +171,7 @@ recipe_site() { DEV_DOCS=$(man-table dev) cd site/ - find . -type f -not -path '*/CVS/*' | while IFS= read -r file; do + find . -type f | grep -v CVS | while IFS= read -r file; do dest="$TELODENDRIA_PUB/$file" dir=$(dirname "$dest") diff --git a/tools/env.sh b/tools/env.sh index c538834..084a93b 100644 --- a/tools/env.sh +++ b/tools/env.sh @@ -4,7 +4,7 @@ echo "Telodendria Development Environment" echo "-----------------------------------" echo echo "Tools available:" -find tools/bin -type f -not -path '*/CVS/*' | while IFS= read -r tool; do +find tools/bin -type f | grep -v CVS | while IFS= read -r tool; do echo "- $(basename $tool)" chmod +x "$tool" done @@ -15,4 +15,3 @@ fi export PATH="$(pwd)/tools/bin:$PATH" export MANPATH="$(pwd)/man:$MANPATH" -