Unity / Gnome, по-видимому, не выполняет автоматическое изменение изменений в файлах .desktop (в частности, в полях «Имя» и «Значок»).
Я нашел update-desktop-database
, но, похоже, он обновляет только базу данных MIME (и не рассматривает ~ / .local / share / Applications (согласно strace)).
После выхода и повторного входа изменения распознаются, но я бы, конечно, хотел бы использовать более удобный метод.