Re: Improving the performance of system boot by eliding unused rc.d scripts and caching the result

[Edgar Fuß <ef%math.uni-bonn.de@localhost>]

> 	if (> /etc/rcorder.cache.tmp) 2>/dev/null; then
I would have expected that to be
 	if (:> /etc/rcorder.cache.tmp) 2>/dev/null; then
and am suprised the shell accepts redirection on an empty command.