diff options
author | Tom Willemse | 2014-01-21 23:00:07 +0100 |
---|---|---|
committer | Tom Willemse | 2014-01-21 23:00:07 +0100 |
commit | c5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2 (patch) | |
tree | 61187f3eefd7582ef91b26f14ab759c1125c8e8d | |
parent | b3d27fc1a8ef4e1f0088068f47233bf32572b68e (diff) | |
download | sti-c5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2.tar.gz sti-c5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2.zip |
Add list command
-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)" |