Возможно, не были созданы файлы .desktop, я не знаю, где они находятся в ubuntu 12.04, но есть много приложений для создания этих файлов. Например, https://apps.ubuntu.com/cat/applications/create-launcher/, но более стандартное и более длительное решение объясняется в разделе Добавить пользовательскую команду в диалоговом окне с открытием? , Я не тестировал эти решения на Ubuntu 12.04, но он должен работать.
Вот как я исправил ошибку: В моем /etc/apt/sources.list.d/php.list я заменил deb https://packages.sury.org/php/ trusty main на deb https: / /packages.sury.org/php/ jessie main
Вот как я исправил ошибку: В моем /etc/apt/sources.list.d/php.list я заменил deb https://packages.sury.org/php/ trusty main на deb https: / /packages.sury.org/php/ jessie main
Вот как я исправил ошибку: В моем /etc/apt/sources.list.d/php.list я заменил deb https://packages.sury.org/php/ trusty main на deb https: / /packages.sury.org/php/ jessie main