Changeset 37457

Timestamp:

2023-03-11T17:54:15+13:00 (14 months ago)

Author:

davidb

Message:

Tweak so it prints out usage

File:

• main/trunk/greenstone3/ext/get-extension.sh (modified) (1 diff)

main/trunk/greenstone3/ext/get-extension.sh

@@ -1 +1 @@
 #!/bin/bash
+
+if [ $# != 1 ] ; then
+    echo "Usage: $0 ext-name" >&2
+    exit 1
+fi
 
 ext=$1