Make scripts directory

diff --git a/correspondences b/correspondences
new file mode 100644 (file)
index 0000000..437bf90
--- /dev/null
+++ b/correspondences
@@ -0,0 +1 @@
+scripts                personal/scripts/bin

diff --git a/infra/makelinks b/infra/makelinks
index 20faafc592912d757c74acf5b4de56e381d45e2e..e4fa88db3d3bf755f8d9d18d360220761f2785ec 100755 (executable)
--- 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 \