25 lines
417 B
Bash
25 lines
417 B
Bash
#!/bin/bash
|
|
PORT=$1
|
|
|
|
if [ "$PORT" = "" ] ; then
|
|
export PORT=7400
|
|
fi
|
|
|
|
nc localhost $PORT < /dev/null | (
|
|
echo &
|
|
while true; do
|
|
read PAGE || break
|
|
TOKILL="$(ps --ppid $MANPID -o pid=)"
|
|
kill $TOKILL > /dev/null
|
|
echo displaying $PAGE
|
|
man -P less -s 2:3:1p:9:1 $PAGE &
|
|
MANPID=$!
|
|
sleep 0.1
|
|
done
|
|
TOKILL="$(ps --ppid $MANPID -o pid=)"
|
|
kill $TOKILL > /dev/null
|
|
) 2> /dev/null
|
|
|
|
exit 0
|
|
|