31 Aug
2001
31 Aug
'01
08:15
On Don, 30 Aug 2001, Daniel Wolpert wrote:
echo $$ | tee ${PIDFILE} >/dev/fd/0
Wie kommst du auf /dev/fd/0 ?? Das ist doch stdin! $ l /dev/stdin lrwxrwxrwx 1 root root 4 Sep 6 1999 /dev/stdin -> fd/0 Besser: /dev/stdin /dev/stdout /dev/stderr verwenden! Und noch besser: die internen fd's verwenden... Beispiele finden sich z.B. in jedem autoconf configure-script... -dnh -- 169: Veganer Die, die ihre Kinder nicht säugen, weil das für die Mutter Tierquälerei wäre. (Wau Holland)