I accidentally typed
$ rm -rf /*
(backslash was NOT intended). Fortunately it was without
sudo and I aborted it quickly. Nonetheless, it removed a number of files.
Most of things seems to work (it did uninstall and application or two).
As I don't want to restore all from Time Machine (a week old thing), how to check which system files were removed (and to restore them)?