From 8d80d23fdac44173b01a61437c7b4ac7000f0df0 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 16 Dec 2015 23:34:59 +0000
Subject: [PATCH] Make scripts directory

---
 correspondences | 1 +
 infra/makelinks | 8 ++++++++
 2 files changed, 9 insertions(+)
 create mode 100644 correspondences

diff --git a/correspondences b/correspondences
new file mode 100644
index 0000000..437bf90
--- /dev/null
+++ b/correspondences
@@ -0,0 +1 @@
+scripts		personal/scripts/bin
diff --git a/infra/makelinks b/infra/makelinks
index 20faafc..e4fa88d 100755
--- a/infra/makelinks
+++ b/infra/makelinks
@@ -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 \
-- 
2.30.2