plumber

Plumber – a modern approach to plumbing
git clone git://r-36.net/plumber
Log | Files | Refs | README | LICENSE

fileopener (251B)


      1 #!/bin/sh
      2 
      3 if [ $# -lt 1 ];
      4 then
      5 	printf "usage: %s path\n" "$(basename "$0")" >&2
      6 	exit 1
      7 fi
      8 
      9 path="$1"
     10 if [ -d "$path" ];
     11 then
     12 	[ -z "$SHELL" ] && SHELL="/bin/sh"
     13 	$XTERM /bin/sh -c "cd \"${path}\"; $SHELL" >&2 >/dev/null &
     14 	exit 0
     15 fi
     16 
     17 see "$path"
     18