aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGravatar Tom Willemse2014-01-21 23:00:07 +0100
committerGravatar Tom Willemse2014-01-21 23:00:07 +0100
commitc5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2 (patch)
tree61187f3eefd7582ef91b26f14ab759c1125c8e8d
parentb3d27fc1a8ef4e1f0088068f47233bf32572b68e (diff)
downloadsti-c5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2.tar.gz
sti-c5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2.zip
Add list command
-rwxr-xr-xsti15
1 files changed, 15 insertions, 0 deletions
diff --git a/sti b/sti
index 80155ea..7247e06 100755
--- a/sti
+++ b/sti
@@ -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)"