equal
deleted
inserted
replaced
78 found="false" |
78 found="false" |
79 for r in $repos ; do |
79 for r in $repos ; do |
80 if [ $repo = "$r" ] ; then |
80 if [ $repo = "$r" ] ; then |
81 found="true" |
81 found="true" |
82 break; |
82 break; |
83 fi |
83 fi |
84 done |
84 done |
85 if [ $found = "false" ] ; then |
85 if [ $found = "false" ] ; then |
86 echo "ERROR: Unknown repo: $repo. Should be one of [$repos]." >&2 |
86 echo "ERROR: Unknown repo: $repo. Should be one of [$repos]." >&2 |
87 usage |
87 usage |
88 fi |
88 fi |
198 unshuffle "$line" |
198 unshuffle "$line" |
199 else |
199 else |
200 printf "%s\n" "$line" >> $output |
200 printf "%s\n" "$line" >> $output |
201 fi |
201 fi |
202 done < "$input" |
202 done < "$input" |
203 |
|