tFixes from Scott Schwartz - plan9port - [fork] Plan 9 from user space
  HTML git clone git://src.adamsgaard.dk/plan9port
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 0156f05f498d4685dba5dcc815d3092b8c38be01
   DIR parent 9d7a2e6e3c1ae32728214346ee014c493bddb347
  HTML Author: rsc <devnull@localhost>
       Date:   Sat,  7 May 2005 22:32:03 +0000
       
       Fixes from Scott Schwartz
       
       Diffstat:
         M bin/web                             |      22 ++++++++++------------
       
       1 file changed, 10 insertions(+), 12 deletions(-)
       ---
   DIR diff --git a/bin/web b/bin/web
       t@@ -52,27 +52,22 @@ plumbapple()
        
        plumbunix()
        {
       -        case ${BROWSER:-firefox} in
       +        case "${BROWSER:=firefox}" in
                # Other browsers here
                # ...
                *opera*)
       -                $BROWSER -remote 'openURL('$i',new-page)'
       +                $BROWSER -remote 'openURL('"$i"',new-page)'
                        ;;
                *firebird*)
       -                $BROWSER -remote 'openURL('$i',new-window)'
       +                $BROWSER -remote 'openURL('"$i"',new-window)'
                        ;;
                *firefox*)
       -                $BROWSER -remote 'openURL('$i',new-tab)'
       -                ;;
       -        x-)
       -                BROWSER=firefox
       -                $BROWSER -remote 'openURL('$i',new-tab)'
       +                $BROWSER -remote 'openURL('"$i"',new-tab)' ||
       +                $BROWSER "$i"
                        ;;
                *mozilla*)
       -                $BROWSER -remote 'openURL('$i',new-tab)'
       -                ;;
       -        x-*)
       -                $BROWSER -remote 'openURL('$i',new-tab)'
       +                $BROWSER -remote 'openURL('"$i"',new-tab)' ||
       +                $BROWSER "$i"
                        ;;
                esac
        }
       t@@ -99,8 +94,11 @@ else
                        if [ -f "$i" ]
                        then
                                p=`pwd`
       +                        i=`echo $i | sed 's/ /%20/g'`
                                i=`cleanname -d $p $i`
                                i=file://$i
       +                else
       +                        i=`echo $i | tr -d ' '`
                        fi
                        plumb1 $i
                done