terminal how to find a file name

Shell
find / -name NAME.EXTENSION
Source

Also in Shell: