2022-07-30 13:37:08 +00:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
|
|
2023-02-17 18:26:08 +00:00
|
|
|
echo "Telodendria Development Environment"
|
|
|
|
|
echo "-----------------------------------"
|
|
|
|
|
echo
|
|
|
|
|
echo "Tools available:"
|
2023-02-24 02:02:47 +00:00
|
|
|
find tools/bin -type f | grep -v CVS | while IFS= read -r tool; do
|
2023-02-17 18:26:08 +00:00
|
|
|
echo "- $(basename $tool)"
|
2022-07-30 13:37:08 +00:00
|
|
|
chmod +x "$tool"
|
|
|
|
|
done
|
|
|
|
|
|
2023-02-17 18:26:08 +00:00
|
|
|
if which makewhatis 2>&1 > /dev/null; then
|
|
|
|
|
makewhatis "$(pwd)/man"
|
|
|
|
|
fi
|
2022-09-30 23:11:44 +00:00
|
|
|
|
|
|
|
|
export PATH="$(pwd)/tools/bin:$PATH"
|
|
|
|
|
export MANPATH="$(pwd)/man:$MANPATH"
|
