X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=ian-dotfiles.git;a=blobdiff_plain;f=infra%2Fmakelinks;h=96ec405227a79055d79fbfacc1251c09be07d734;hp=20faafc592912d757c74acf5b4de56e381d45e2e;hb=538dc4d9ebcce6acea724a77781a35f862cb061c;hpb=4e6e460b957774e2e7f60d0fbd8de9e84ca7f980

diff --git a/infra/makelinks b/infra/makelinks
index 20faafc..96ec405 100755
--- a/infra/makelinks
+++ b/infra/makelinks
@@ -121,6 +121,31 @@ for ours in $nondots; do
     process_object
 done
 
+exec 3<correspondences
+while read <&3 ours underhome; do
+    case "$ours" in
+    ''|'#'*) ;;
+    *)
+	case "$underhome" in
+	*/*)
+	    parent=${underhome%/*}
+	    punderhome="$HOME/$parent"
+	    prhome="~/${underhome%/*}"
+	    if [ -d "$punderhome" ]; then
+		good "directory exists"
+	    elif ! [ -e "$punderhome" ]; then
+		needs setup "directory does not exist"
+		$act mkdir -p "$punderhome"
+	    else
+		bad "ought to be director but isn't"
+	    fi
+	    ;;
+	esac
+	process_object
+	;;
+    esac
+done
+
 brokens=$(
     cd $HOME
     find -L .[0-9a-zA-Z]* -maxdepth 0 -xdev -type l \