Terminal Wie man einen Dateinamen findet

find / -name NAME.EXTENSION
Disgusted Dolphin