#!/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