3 d52bdd33 2015-06-03 rsc PLAN9=${PLAN9:-/usr/local/plan9}
4 d52bdd33 2015-06-03 rsc bin=$PLAN9/bin
8 d52bdd33 2015-06-03 rsc # Blanks are problematic in filenames: just plumb
9 d52bdd33 2015-06-03 rsc # the file's content.
10 d52bdd33 2015-06-03 rsc if echo "$file" | grep -q " "
12 d52bdd33 2015-06-03 rsc base=$(basename "$file" | sed 's/ /_/g')
13 d52bdd33 2015-06-03 rsc attr="action=showdata filename=/BadName/$base"
14 d52bdd33 2015-06-03 rsc cat $file | "$bin/plumb" -i -d edit -a "$attr"
16 d52bdd33 2015-06-03 rsc "$bin/plumb" -d edit "$file"