Little tweaks and documentation.

1 files changed, 35 insertions, 0 deletions

diff --git a/bin/web b/bin/web
new file mode 100755
index 00000000..39615200
--- /dev/null
+++ b/bin/web
@@ -0,0 +1,35 @@
+#!/bin/sh
+
+plumb1()
+{
+	case $BROWSER in
+	# Other browsers here
+	# ...
+	*opera*)
+		$BROWSER -remote 'openURL('$i', new-page)'
+		;;
+	*firebird*)
+		$BROWSER -remote 'openURL('$i', new-window)'
+		;;
+	esac
+}
+
+if [ $# = 0 ]
+then
+	plumb1 about:blank
+else
+	for i
+	do
+		if [ -f "$i" ]
+		then
+			i=file://`pwd`/$i
+		fi
+		plumb1 $i
+	done
+fi
+
+case $BROWSER in
+*opera*)
+	$BROWSER -remote 'raise()'
+esac
+