回答:
gnome-shellを置き換えるコマンドはになりますgnome-shell --replace
。
のマニュアルページからgnome-shell
:
--replace Replace the running window manager
--replace
「restart」とは言えませんでした。
ALT+f2
(コマンドプロンプトを表示)+ gnome-shell --replace
は18.04でうまく機能します。実行中のプログラムはすべて停止しません。
gnome-shell --replace &
gnome-shell --replace
Ubuntu 19.10マシンでは、ほとんどの実行中のアプリケーションが閉じられ、gnome-shellが白い画面とコンピューターの再起動を求めるプロンプトを表示して問題の状態になりました。
を行うこともできますkillall -3 gnome-shell
。
gnome-shell --replace &
以前使用していたのに対して。動作しましたが、ターミナルで実行し続けました。私が抱えていた問題は、フルスクリーンのYoutubeビデオで、どういうわけかDash-to-Dockとパネルがフリーズして閉じることでした。github.com/micheleg/dash-to-dock/issues/...
ユーザーをログアウトするためにこの機能を思いつきました(下部を参照)
想定しています
複数のユーザー名を付けることができます:
logout john jane mike elisa
そして、追加のオプションを与えることができます:
logout john --force
だから、私は次のヘルパー関数を持っています:
function forcelogout() {
logout "$@" --no-prompt --force
}
ノート:
function logout() {
local USERNAME
export USERNAMES=( )
while [ -n "$1" ]; do case "$1" in
-* ) break ;;
*) USERNAMES+=( "$1" ); shift ;;
esac; done
for USERNAME in "${USERNAMES[@]}"; do
local SESSION_PID=$(pgrep -fu "$USERNAME" gnome-session|head -1)
if [ -n "$SESSION_PID" ]; then
(
sudo -u "$USERNAME" cat "/proc/$SESSION_PID/environ" | xargs -0 -n 1 echo export
echo "gnome-session-quit --logout $@"
) | sudo -u "$USERNAME" sh -;
fi
done
}
restart
。実行中のプログラムをすべて停止します。(プログラムを停止せずにGUIを再起動する方法はまだわかりません。)