2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# to write a shebang that works across distros, so we're generating
# the shebang and inserting it into the script at build time.
# we also do something similar with the path to cortav, in case the
# executable isn't in $PATH
out=$(mktemp --suffix=.html)
"$cortav_exec" "$1" -o "$out" -m html:width 35em
if test "$BROWSER" != ""; then
"$BROWSER" "file://$out"
else
xdg-open "$out"
fi
# clean up when the browser closes
sleep 1 # in case of tricksiness
rm "$out"
|
|
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# to write a shebang that works across distros, so we're generating
# the shebang and inserting it into the script at build time.
# we also do something similar with the path to cortav, in case the
# executable isn't in $PATH
out=$(mktemp --suffix=.html)
"$cortav_exec" "$1" -o "$out" $cortav_flags
if test "$BROWSER" != ""; then
"$BROWSER" "file://$out"
else
xdg-open "$out"
fi
# clean up when the browser closes
sleep 1 # in case of tricksiness
rm "$out"
|