From 55bde1a8b9bb8b6a5f0ccde04e56ba7dbcebdc65 Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Thu, 15 Mar 2018 15:01:01 +0000 Subject: shell names, first draft --- tools/link-bins | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 tools/link-bins (limited to 'tools/link-bins') 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 -- cgit v1.2.3