Я использую debian и gnome, я добавляю расширение панели задач. Я установил свою панель задач ранее. Но я не нашел сейчас.
я хочу найти эту панель https://extensions.gnome.org/static/extension-data/screenshots/screenshot_584_23.png
Можно получить настройки для расширение Панели задач путем щелчка правой кнопкой по значку 'Show Desktop', или путем нажатия на предпочтительный значок в инструмент тонкой настройки гнома :
, Если необходимо установить gnome-tweak-tool
, можно сделать это путем выполнения этого как корня:
apt-get install gnome-tweak-tool
Иначе должен нажать значок thesettings на страница расширения: