[9fans] Minor fix for the window command with -m and -hide options

[9fans] Minor fix for the window command with -m and -hide options

[Richard Powell]

Greetings,

Here is a minor change to the window script to handle the -m and -hide options together.
It might be worth noting in the man page that if -m is used it must be the first option.

Thanks,
Richard


diff -c window.org window
*** window.org  Wed Oct  2 18:19:08 2002
--- window      Wed Oct  2 18:19:16 2002
***************
*** 73,79 ****
         {
                 if(mount $srv $dir 'new -pid '^`{cat /dev/ppid}^' '$"*){
                         bind -b $dir /dev
-                       echo -n `{basename $1} > /dev/label >[2] /dev/null
                         # toss geometry parameters to find command
                         while(~ $1 -*)
                                 switch($1){
--- 73,78 ----
***************
*** 81,89 ****
--- 80,91 ----
                                         shift 2
                                 case -r
                                         shift 5
+                               case -hide
+                                       shift
                                 }
                         if(~ $#* 0) cmd = rc
                         if not cmd = $*
+                       echo -n `{basename $cmd(1)} > /dev/label >[2] /dev/null
                         exec $cmd < /dev/cons > /dev/cons >[2] /dev/cons
                 }
         }&