blob: 23a17a25b8ae2aa9705f8379cc649f63b8523932 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/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
|