From ff262e102983021abc2223e83131eea1f7eb5d58 Mon Sep 17 00:00:00 2001 From: Russ Cox Date: Fri, 28 Jan 2011 17:17:01 -0500 Subject: Plumb.app: handle spaces in file names (Rob Pike) R=rsc http://codereview.appspot.com/4113042 --- mac/Plumb.app/Contents/MacOS/plumb | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'mac') diff --git a/mac/Plumb.app/Contents/MacOS/plumb b/mac/Plumb.app/Contents/MacOS/plumb index 87e355aa..80918aa2 100755 --- a/mac/Plumb.app/Contents/MacOS/plumb +++ b/mac/Plumb.app/Contents/MacOS/plumb @@ -1,4 +1,12 @@ #!/bin/bash . ~/.bashrc PLAN9=${PLAN9:-/usr/local/plan9} -$PLAN9/bin/plumb $($PLAN9/bin/macargv) +filename="$($PLAN9/bin/macargv)" +# Blank are problematic in the file name. Make them go away but keep the content. +if echo "$filename" | grep -q " " +then + base=$(basename "$filename" | sed 's/ /_/g') + cat "$filename" | plumb -i -d edit -a "action=showdata filename=/BadName/$base" +else + $PLAN9/bin/plumb -d edit "$filename" +fi -- cgit v1.2.3