Что такое имя системных настроек для терминала [duplicate]

Мне не повезло с .png, но работала 64x64 .jpg! (Ubuntu Trusty, Gnome)

YMMV, поэтому это моя система:

DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=14.04
DISTRIB_CODENAME=trusty
DISTRIB_DESCRIPTION="Ubuntu 14.04.5 LTS"

Linux *** 4.4.0-83-generic #106~14.04.1-Ubuntu SMP Mon Jun 26 18:10:19 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux

GNOME Shell 3.10.4

Мне пришлось убить gnome-panel, чтобы увидеть новые значки на панели: [ ! d2]

ps aux | grep gnome-panel

показывает вам PID:

me        2397  0.0  0.3 738108 56688 ?        Sl   Nov30   2:39 gnome-panel
me       22210  0.0  0.0  18420  2100 pts/43   S+   13:16   0:00 grep --color=auto gnome-panel

и

kill 2397

выполняет трюк. Забитая панель автоматически перезапускается в секундах.

1
задан 5 February 2014 в 06:19

0 ответов

Другие вопросы по тегам:

Похожие вопросы: