chiark
/
gitweb
/
~ian
/
ian-dotfiles.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Make scripts directory
[ian-dotfiles.git]
/
infra
/
makelinks
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 \