Il modo più semplice (che sono sicuro abbiate già provato, ma ehi, lasciate che lo aggiunga comunque al thread) è di inserire abc.dmg nella casella di ricerca in alto a destra di qualsiasi finestra di ricerca, quindi selezionare “Nome file” dalle opzioni della barra di ricerca che appare.
Non è necessario il terminale.
Ricordate anche che Spotlight indicizza solo le directory specificate nel pannello di controllo Spotlight e abc. dmg potrebbe non essere in una di queste directory.
Correggetemi se sbaglio, ma credo che il comando di ricerca debba sapere cosa produrre:
find / -name abc.dmg -print
…dovrebbe stampare tutti i risultati sul terminale (compresi gli errori di autorizzazione).
Se non volete errori di autorizzazione e volete cercare altre directory di utenti, allora:
sudo find / -name abc.dmg -print