Поместите псевдонимы в мой Dropbox

Просто создайте ссылку для рабочего стола gnome и поместите ее в .local/share/applications/ для личных ссылок меню.

Вздох: некоторые установщики устанавливают свои ссылки на рабочий стол в .gnome/apps/, поэтому вы можете связать их:

Как указано @ roman-raguet https://askubuntu.com/a/232083/37280, поместите его в /usr/share/applications для всех пользователей

Как указано @mockfrog https://askubuntu.com/a/232083/37280 , вы можете создать эту личную запись графическим инструментом cinnamon-menu-editor. Запустите его с sudo для всех пользователей