diff --git a/tools/tools.sh b/tools/tools.sh deleted file mode 100644 index 6523496..0000000 --- a/tools/tools.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash -# description: List all available tools with their descriptions and usage -set -euo pipefail - -OLLIE="${OLLIE_9MOUNT:-$HOME/mnt/ollie}" - -for f in "$OLLIE/t/"*; do - [ -f "$f" ] || continue - name=$(basename "$f") - desc=$(grep -m1 "^# description:" "$f" 2>/dev/null | sed 's/^# description: *//') - args=$(grep -m1 "^# [Aa]rgs:" "$f" 2>/dev/null | sed 's/^# [Aa]rgs: *//') - printf '%-28s %s\n' "$name" "$desc" - [ -n "$args" ] && printf '%-28s Args: %s\n' "" "$args" -done