[MiNT] Elementary Script Questions

[Joerg_Westheide@su.maus.de (Jörg Westheide)]

Hi Fabrice!

FG>kill -9 `cat /var/run/ppp0.pid` (mind the bacquotes !)
ARGH!
A killer again... :-<

kill -HUP `cat /var/run/ppp0.pid`
works _better_ because it kills pppd too but let's him shut down the
interface and remove the lockfile so you won't run into trouble when
restarting it

Please:
Never use kill -9 if it's not absolutely necessary! NEVER!
Try kill -HUP, -QUIT and -TERM instead!

kill -9 (= -KILL) should be reserved for case of emergency only!

Bye

                Joerg