Gregory's Server@cosmoself и тогда и сейчас процесс был такой:
1. Заходишь браузером на https://extensions.gnome.org/
2. Находишь расширение
3. Нажимаешь кнопку Установить
4. Всё, оно работает
|
Top-level
 4 comments
@cosmoself можно то же самое сделать скриптом — есть консольная утилита для установки. Обновить можно зайдя на тот же сайт (там будет список установленных расширений) или поставить https://github.com/mjakeman/extension-manager или подобное. @cosmoself из консоли одной строкой можно обновить все расширения так @sitnik_ru @cosmoself я точно помню, что надо было ставить апп. Сейчас это не так, причем в основном потому, что сейчас этот апп уже встроен в большинстве систем |
@sitnik_ru В дотфайлы такое не засунешь(
А как они обновляются?