diff --git a/tools/env.sh b/tools/env.sh index 760dfb0..c538834 100644 --- a/tools/env.sh +++ b/tools/env.sh @@ -1,10 +1,17 @@ #!/usr/bin/env sh -find tools/bin -type f | while IFS= read -r tool; do +echo "Telodendria Development Environment" +echo "-----------------------------------" +echo +echo "Tools available:" +find tools/bin -type f -not -path '*/CVS/*' | while IFS= read -r tool; do + echo "- $(basename $tool)" chmod +x "$tool" done -makewhatis "$(pwd)/man" +if which makewhatis 2>&1 > /dev/null; then + makewhatis "$(pwd)/man" +fi export PATH="$(pwd)/tools/bin:$PATH" export MANPATH="$(pwd)/man:$MANPATH"