# HG changeset patch # User Pascal Bellard # Date 1431600955 -7200 # Node ID 00c7d84edcd551b487187e7320e40eed77d106fe # Parent 4475062064ee07f2f851ed68288ef27604d9b4f4 browser: add poor man browser (for gtkonly) diff -r 4475062064ee -r 00c7d84edcd5 tinyutils/browser --- a/tinyutils/browser Mon Apr 27 12:14:05 2015 +0200 +++ b/tinyutils/browser Thu May 14 12:55:55 2015 +0200 @@ -9,6 +9,11 @@ EXEC="exec setsid $BROWSER" +[ "$(which $BROWSER)" ] || case "$1" in +file://*) + exec xterm -e "sh -c \"sed 's/<[^>]*>//g;s/<//g;s/&/\\&/g' < ${1#file://} | uniq | less\"" +esac + if [ -z "$XAUTHORITY" ]; then # console session EXECT="$BROWSER"