> And it obviates the need to manually run "sudo > rm -rf /tmp/*" [..] Really? So you imply that the administrator rather reboot the machine than doing sudo rm -fr /tmp if you have really long uptimes ? :-) linux servers are know to run without rebooting..
Marc _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
