diff options
-rwxr-xr-x | sti | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -24,6 +24,7 @@ function cmd_help echo "Commands include: " echo " help Show this help message" echo " install Install a tool from a git repository" + echo " list List downloaded tools" echo " reinit Retry installing the executables of a tool" echo " remove Remove an installed tool" echo @@ -32,6 +33,20 @@ information about a command." | fold fi } +function help_list () +{ + local xname="$(basename $0)" + + echo "Usage: ${xname} list" + echo + echo "List all downloaded (possibly installed) tools." | fold +} + +function cmd_list +{ + /usr/bin/ls -1 "${data_home}/tools/" +} + function help_reinit () { local xname="$(basename $0)" |