Answers:
替换gnome-shell的命令为gnome-shell --replace
。
在以下页面的手册中gnome-shell
:
--replace Replace the running window manager
--replace
=“重新启动”。
ALT+f2
(显示命令提示符)+ gnome-shell --replace
将在18.04中很好地工作。所有正在运行的程序都不会停止。
gnome-shell --replace &
您也可以做一个killall -3 gnome-shell
。
gnome-shell --replace &
过。它工作了,但是一直在终端上运行。我遇到的问题是全屏显示Youtube视频,导致Dash-to-Dock和面板冻结关闭。github.com/micheleg/dash-to-dock/issues/...
该命令应为gnome-shell --replace
。
我想出了此功能来注销用户(请参阅底部)
它假设
您可以为其指定多个用户名:
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。)