Intereting Posts
Загрузить фотографии на страницу Facebook (не личный профиль) Не удается сохранить кодовую фразу в том же сеансе с помощью eval $ (ssh-agent) && ssh-add unstripped binary или объект, создающий debian-пакет Как установить gcc-7 или clang 4.0? как переназначить Ctrl на Escape, если нажать и отпустить самостоятельно Какие свойства карты WiFi можно изменить на улучшенные Передача и прием Каков эквивалент bash команды паузы DOS? Как заставить Ubuntu отображаться как клавиатура Bluetooth? Внешние жесткие диски USB – какие скорости следует ожидать? Почему поиск Google всегда подсчитывает больше результатов в Firefox или Chrome, чем в Chromium? Использование gnome-keyring с svn через ssh и mysql-workbench Ключ Windows VirtualBox переходит в Gnome У меня проблемы с компиляцией powertop на Ubuntu Precise Является ли сервер Ubuntu лучшим вариантом для меня? Как заставить ваш терминал воспроизводить звук или предлагать уведомление, когда он закончил выполнение своей команды?

Как удалить экспериментальный HUD PPA?

Я установил HUD через эти два шага:

sudo add-apt-repository ppa:unity-team/hud sudo apt-get update && sudo apt-get dist-upgrade 

Я тестировал его, но теперь у меня проблемы с входом в меню приложений, например, нажатием Alt + E для Edit Menu .

Поэтому я хочу удалить, и поэтому я удалил ppa из источников. Я сделал это в меню «Настройки» диспетчера обновлений. Я думаю, что мне нужно удалить приложение, выполнив sudo apt-get remove xxx.

Но я не знаю, как это называется … hud-cli не существует.

Используйте следующие команды:

 sudo apt-get install ppa-purge sudo ppa-purge ppa:unity-team/hud 

Если вы уже вручную удалили PPA из своих источников , добавьте его, чтобы очистить можно.

Возможно, вам придется перезагрузиться до того, как деинсталляция вступит в силу.