chiark / gitweb /
Process home/
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:44:52 +0000 (20:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:44:52 +0000 (20:44 +0000)
infra/makelinks

index 96218b9ed712c46bea4cf57ca14e4ce9e0911243..20faafc592912d757c74acf5b4de56e381d45e2e 100755 (executable)
@@ -114,9 +114,17 @@ for ours in $dots; do
     process_object
 done
 
+nondots=$( find home -mindepth 1 -maxdepth 1 -name '[0-9a-zA-Z]*[0-9a-zA-Z]' )
+
+for ours in $nondots; do
+    underhome="${ours#home/}"
+    process_object
+done
+
 brokens=$(
     cd $HOME
-    find -L .[0-9a-zA-Z]* -maxdepth 0 -xdev -type l -lname "$basepath/dot/*"
+    find -L .[0-9a-zA-Z]* -maxdepth 0 -xdev -type l \
+        \( -lname "$basepath/dot/*" -o -lname "$basepath/home/*" \)
 )
 for underhome in $brokens; do
     inhome="$HOME/$underhome"