[bglug] script bash

Diego Tironi bglug@lists.linux.it
Wed, 25 Sep 2002 19:20:00 +0200


./SuperbepS wrote:
> secondo me la tecnica piu' pulita e' questa:
> #|/bin/bash
> tail -f --pid=$PPID /var/log/syslog

questa e' la migliore soluzione senza dubbio, la manpage in mia
dotazione non documenta tale opzione :-(.
Purtroppo mi si ripresenta lo stesso problema con head, il quale
non accetta l'opzione --pid :-(

P.s.: un punto a SuperbepS per l'ottimo suggerimento ;-D

-- 
Diego Tironi - diego@tironi.net
PGP DH/DSS Key ID: 0x23570D06
Fingerprint: 17CB 8495 2471 9AD9 C052  A8E7 3602 1BC7 2357 0D06
Veritas vos liberabit