Самый простой способ (который, я уверен, вы уже пробовали, но, в любом случае, позвольте мне добавить его в ветку), введите abc.dmg в поле поиска в верхнем правом углу любого окна поиска, а затем выберите "Файл". Имя »из опций на панели поиска, которая появляется.
Нет необходимости в терминале.
Также помните, что только Spotlight индексирует каталоги, указанные на панели управления Spotlight, и abc.dmg может отсутствовать в одном из этих каталогов.
Поправьте меня, если я не прав, но я думаю, что команда find должна знать, что выводить:
find / -name abc.dmg -print
... должен печатать любые результаты в терминал (в том числе ошибки разрешения).
Если вы не хотите ошибок разрешения и хотите искать другие каталоги пользователей, то:
sudo find / -name abc.dmg -print