/usr/bin/getmails is in getmail4 4.48.0-1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | #!/bin/sh
# vim:se tw=78 sts=4:
# Copyright (C) Osamu Aoki <osamu@debian.org>, GPL2+
set -e
UID_BY_ID=$(id -u)
PID_GETMAILS=$(pgrep -U $UID_BY_ID '^getmails$')
if [ "x$PID_GETMAILS" != "x$$" ]; then
echo "The getmails script is already running as PID=\"$PID_GETMAILS\" ." >&2
exit 1
fi
if [ -f $HOME/.getmail/stop ]; then
echo "Do not run getmail ... (if not, remove $HOME/.getmail/stop)" >&2
exit 1
fi
rcfiles="/usr/bin/getmail"
for file in $HOME/.getmail/config/* ; do
rcfiles="$rcfiles --rcfile \"$file\""
done
eval "$rcfiles $@"
|