1 files changed, 15 insertions, 0 deletions
diff --git a/bin/stex b/bin/stex
new file mode 100755
index 00000000..f4173a88
--- /dev/null
+++ b/bin/stex
@@ -0,0 +1,15 @@
+#!/bin/sh
+# Strip an extension from the given files
+if [ "$#" -lt 2 ] ; then
+    printf >&2 'Need an extension .ext and a filename\n'
+    exit 2
+fi
+ex=0 ext=$1
+shift
+for sn ; do
+    sn=${sn%/}
+    dn=${sn%"$ext"}
+    [ "$sn" != "$dn" ] || continue
+    mv -- "$sn" "$dn" || ex=1
+done
+exit "$ex"