Najprostszym sposobem (którego jestem pewien, że już próbowałeś, ale hej, i tak dodam go do wątku) jest wpisanie abc.dmg w pole wyszukiwania w prawym górnym rogu każdego okna wyszukiwarki, a następnie wybranie “File Name” z opcji na pasku wyszukiwania, który się pojawi.
Nie ma potrzeby korzystania z terminala.
Należy również pamiętać, że Spotlight indeksuje tylko katalogi określone w panelu sterowania Spotlight i abc. dmg może nie znajdować się w żadnym z tych katalogów.
Popraw mnie, jeśli się mylę, ale myślę, że polecenie find musi wiedzieć, co wypisać:
find / -name abc.dmg -print
…powinno wypisać wszelkie wyniki do terminala (łącznie z błędami uprawnień).
Jeśli nie chcesz błędów uprawnień i chcesz przeszukać inne katalogi użytkowników to:
sudo find / -name abc.dmg -print