chiark / gitweb /
Make scripts directory
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 23:34:59 +0000 (23:34 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 23:34:59 +0000 (23:34 +0000)
correspondences [new file with mode: 0644]
infra/makelinks

diff --git a/correspondences b/correspondences
new file mode 100644 (file)
index 0000000..437bf90
--- /dev/null
@@ -0,0 +1 @@
+scripts                personal/scripts/bin
index 20faafc..e4fa88d 100755 (executable)
@@ -121,6 +121,14 @@ for ours in $nondots; do
     process_object
 done
 
+exec 3<correspondences
+while read <&3 ours underhome; do
+      case "$ours" in
+      ''|'#'*) ;;
+      *) process_object ;;
+      esac
+done
+
 brokens=$(
     cd $HOME
     find -L .[0-9a-zA-Z]* -maxdepth 0 -xdev -type l \