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 /*"