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

[Jason Thorpe <thorpej%me.com@localhost>]

> On Aug 20, 2026, at 1:12 AM, Edgar Fuß <ef%math.uni-bonn.de@localhost> wrote:
> 
>> 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.

I used what kre suggested verbatim, and it definitely works.  Again, I’m no shell wizard by any measure, so I defer to him :-)

-- thorpej