On Wed, 23 Oct 2019, Arthur Krewat wrote: > More than one of us have done that in our lifetime ;) > > On 10/23/2019 1:13 AM, Gilles Gravier wrote: >> "sudo rm -rf /tmp /*" It's almot becomea rite of passage :-) -- Dave