CI: Updated the 'checkout' actions that were using Node.js 16 to Node.js 20. (#489)

[ppp.git] / scripts / plog

#!/bin/sh

if [ -s /var/log/ppp.log ]; then
  exec tail "$@" /var/log/ppp.log
else
  exec grep ' \(pppd\|chat\)\[' /var/log/syslog | tail "$@"
fi