diff options
| author | Laurent Bercot <ska-skaware@skarnet.org> | 2018-03-15 15:39:45 +0000 |
|---|---|---|
| committer | Laurent Bercot <ska-skaware@skarnet.org> | 2018-03-15 15:39:45 +0000 |
| commit | e05986c02a6e2c71a8ec0715edf1d9c536a95898 (patch) | |
| tree | 59f324e34a6b681b06eb7498b8c8dd722ee435d4 /tools/rename-bins | |
| parent | 55bde1a8b9bb8b6a5f0ccde04e56ba7dbcebdc65 (diff) | |
| download | execline-e05986c02a6e2c71a8ec0715edf1d9c536a95898.tar.xz | |
Second draft
Diffstat (limited to 'tools/rename-bins')
| -rwxr-xr-x | tools/rename-bins | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/rename-bins b/tools/rename-bins deleted file mode 100755 index a613278..0000000 --- a/tools/rename-bins +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -e - -while read old new html ; do - mv -f "./$old" "./$new" -done < ./tools/name-table |