diff options
| author | Laurent Bercot <ska-skaware@skarnet.org> | 2018-03-15 15:01:01 +0000 |
|---|---|---|
| committer | Laurent Bercot <ska-skaware@skarnet.org> | 2018-03-15 15:01:01 +0000 |
| commit | 55bde1a8b9bb8b6a5f0ccde04e56ba7dbcebdc65 (patch) | |
| tree | 76555886a95442237d964aea7fc93e113b81dd49 /tools/rename-bins | |
| parent | d489558fa17f85d11b0e766efb1cf377620114f1 (diff) | |
| download | execline-55bde1a8b9bb8b6a5f0ccde04e56ba7dbcebdc65.tar.xz | |
shell names, first draft
Diffstat (limited to 'tools/rename-bins')
| -rwxr-xr-x | tools/rename-bins | 5 |
1 files changed, 5 insertions, 0 deletions
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 |