From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 16 Dec 2015 23:34:59 +0000 (+0000)
Subject: Make scripts directory
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=8d80d23fdac44173b01a61437c7b4ac7000f0df0;p=ian-dotfiles.git

Make scripts directory
---

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 \