chiark / gitweb /
Use $ours rather than $dot in $dots loop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:44:34 +0000 (20:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:44:34 +0000 (20:44 +0000)
infra/makelinks

index f4d502c..96218b9 100755 (executable)
@@ -109,9 +109,8 @@ process_object () {
 
 dots=$( find dot -mindepth 1 -maxdepth 1 -name '[0-9a-zA-Z]*[0-9a-zA-Z]' )
 
-for dot in $dots; do
-    ours="$dot"
-    underhome=".${dot#dot/}"
+for ours in $dots; do
+    underhome=".${ours#dot/}"
     process_object
 done