Escribí accidentalmente
$ rm -rf /*
(la barra invertida NO fue pensada). Afortunadamente fue sin sudo y lo aborté rápidamente. No obstante, eliminó varios archivos.
La mayoría de las cosas parece funcionar (se desinstaló y la aplicación o dos).
Como no quiero restaurar todo desde Time Machine (una cosa de hace una semana), ¿cómo verificar qué archivos del sistema se eliminaron (y restaurarlos)?