Расширения панели задач, не работающие в Ubuntu 18.10 с гномом 3.30
Я недавно обновил свою Ubuntu 18.04 до Ubuntu 18.10. Но после того, как я обновил его, повредил расширение Панели задач. И я попробовал другие расширения панели задач также. Все не работают. Там какое-либо решение состоит в том, чтобы зафиксировать это?
1
задан pomsky
9 February 2019 в 21:58
поделиться
1 ответ
Я мог наконец заставить его работать. Я думаю, что дополнительная гномом страница имеет старый. Я отослал GitHub repo и была проблема и патч для этого. Я клонирую репозиторий и копирую его в дополнительную папку. После того, как я выхожу из системы и вхожу в него, работал отлично. Используйте следующие команды.
git clone https://github.com/jimmytheneutrino/gnome-shell-extension-taskbar
cp -r gnome-shell-extension-taskbar/ ~/.local/share/gnome-shell/extensions/TaskBar@zpydr
Перед копией удалите любые старые версии из gnome-shell-extension-taskbar/ ~/.local/share/gnome-shell/extensions/TaskBar@zpydr.
1
ответ дан ultimatex
7 December 2019 в 15:07
поделиться