| #!/bin/bash | |
| PLAN9=${PLAN9:-/usr/local/plan9} | |
| bin=$PLAN9/bin | |
| file=$1 | |
| # Blanks are problematic in filenames: just plumb | |
| # the file's content. | |
| if echo "$file" | grep -q " " | |
| then | |
| base=$(basename "$file" | sed 's/ /_/g') | |
| attr="action=showdata filename=/BadName/$base" | |
| cat $file | "$bin/plumb" -i -d edit -a "$attr" | |
| else | |
| "$bin/plumb" -d edit "$file" | |
| fi |