From c5ac5dafcb9d4fd01889fb4efd7ca01f7469b4e2 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Tue, 21 Jan 2014 23:00:07 +0100
Subject: Add list command

---
 sti | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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)"
-- 
cgit v1.2.3-54-g00ecf