Найти в терминале

find / -name abc.dmg
Jolly Jaguar