shell names, first draft

5 files changed, 47 insertions, 0 deletions

diff --git a/tools/convert-one b/tools/convert-one
new file mode 100644
index 0000000..7b914ea
--- /dev/null
+++ b/tools/convert-one
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+old="$1"
+new="$2"
+html="$3"
diff --git a/tools/install-bins b/tools/install-bins
new file mode 100755
index 0000000..143843a
--- /dev/null
+++ b/tools/install-bins
@@ -0,0 +1,9 @@
+#!/bin/sh -e
+
+install="$1"
+bindir="$2"
+destdir="$3"
+
+while read old new html ; do
+  "$install" -D -m 600 "$new" "$destdir/$bindir/$new"
+done < ./tools/name-table
diff --git a/tools/link-bins b/tools/link-bins
new file mode 100755
index 0000000..5e45ec5
--- /dev/null
+++ b/tools/link-bins
@@ -0,0 +1,12 @@
+#!/bin/sh -e
+
+install="$1"
+bindir="$2"
+sproot="${3#x}"
+home="${4#x}"
+exthome="${5#x}"
+destdir="$6"
+
+while read old new html ; do
+  "$install" -D -m 600 "$new" "$destdir/$bindir/$new"
+done < ./tools/name-table
diff --git a/tools/name-table b/tools/name-table
new file mode 100644
index 0000000..4494f01
--- /dev/null
+++ b/tools/name-table
@@ -0,0 +1,16 @@
+background & &amp;
+backtick ` `
+define = =
+dollarat $@ $@
+elglob * *
+fdclose >&- &gt;&amp;-
+fdmove >& &gt;&amp;
+fdswap <> &lt;&gt;
+foreground ; &semi;
+getpid ! !
+heredoc << &lt;&lt;
+homeof ~ ~
+if && &amp;&amp;
+importas $ $
+pipeline | |
+redirfd < &lt;
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