4 # File ID: 7420db28-5d42-11df-9a7c-90e6ba3022ac
11 [ "$1" = "-f" ] && { shift; rm -rf $lockdir; }
12 [ -d $lockdir/.
] || mkdir
$lockdir ||
{ echo "$lockdir: Klarte ikke mkdir" >&2; exit 1; }
13 lockname
=$lockdir/pine
14 until mkdir
$lockname 2>/dev
/null
; do
15 echo "$0: $lockname: Venter på at \"`cat $lockname/info`\" skal slippe locken..." >&2
18 echo "$(tty) $(date +"%Y-
%m-
%d
%H
:%M
:%S
")" >$lockname/info
22 if [ -x /usr
/local
/bin
/pine
]; then
23 /usr
/local
/bin
/pine $
*
24 elif [ -x /usr
/bin
/pine
]; then