То, как удалить значение по умолчанию Gnome, предварительно установило расширения?
Вы ищете это: http://bellard.org/jslinux/
Это - терминал Linux онлайн, все сделанные в JavaScript.
Это работает в Вашем браузере и имеет некоторую функциональность для Вас для вставления/получения больших сумм текста (например, сценарии, которые Вы создаете).
7
Hornhu
20.03.2015, 02:34
Ссылка
1 ответ
Для меня на Fedora 26работающем gnome 3.24эти пакеты были фактически установлены как пакеты ОС.
Если я запускаю sudo dnf list installed | grep -i gnome, я обычно вижу их с именем вроде gnome-shell-extension-foo.
Я мог бы удалить их, удалив этот пакет и не используя страницу установленных расширений напрямую. Я перезапустил сеанс браузера, и эти расширения исчезли из списка.
4
sysadmiral
27.01.2020, 20:19
Ссылка