Ho digitato accidentalmente
$ rm -rf /*
(il backslash NON era previsto). Fortunatamente era senza sudo e l'ho abortito velocemente. Tuttavia, ha rimosso un certo numero di file.
La maggior parte delle cose sembra funzionare (ha fatto la disinstallazione e l'applicazione o due).
Poiché non voglio ripristinare tutto da Time Machine (una cosa vecchia di una settimana), come verificare quali file di sistema sono stati rimossi (e ripristinarli)?