From 55bde1a8b9bb8b6a5f0ccde04e56ba7dbcebdc65 Mon Sep 17 00:00:00 2001
From: Laurent Bercot <ska-skaware@skarnet.org>
Date: Thu, 15 Mar 2018 15:01:01 +0000
Subject:  shell names, first draft

---
 tools/rename-bins | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 tools/rename-bins

(limited to 'tools/rename-bins')

diff --git a/tools/rename-bins b/tools/rename-bins
new file mode 100755
index 0000000..a613278
--- /dev/null
+++ b/tools/rename-bins
@@ -0,0 +1,5 @@
+#!/bin/sh -e
+
+while read old new html ; do
+  mv -f "./$old" "./$new"
+done < ./tools/name-table
-- 
cgit v1.3.1