Как перезапустить GNOME Shell из командной строки?

2

GNOME Shell 3.30.1 на Ubuntu 18.10

Команда для замены gnome-shell будет посылать СИГКВИТ сигнал к нему с помощью:

killall -3 gnome-shell

или:

killall -SIGQUIT gnome-shell

Начиная с GNOME Shell 3.30.1 в Ubuntu 18.10, приведенное ниже решение больше не работает и приведет пользователя к экрану входа в систему, потеряв всю его работу.

До GNOME Shell 3.30.1

Команда для замены gnome-shell было бы:

gnome-shell --replace &

Амперсанд добавляется для возврата командной строки после выполнения команды; нажатие Ctrl+C или закрытие терминала вместо этого сделало бы рабочий стол непригодным для использования и потребовало бы полной перезагрузки.

Из страница руководства от gnome-shell:

-r, --заменить       Замените запущенный оконный менеджер

Не уверены, какую версию вы используете?

Команда для проверки вашей версии GNOME Shell выглядит следующим образом:

gnome-shell --version