一部のアプリケーションがクラッシュして、Gnomeデスクトップが不安定になることが時々あります。たとえば、上のバーが消えるなどです。 X ctrl + shift + backspaceを再起動することでリセットできます。しかし、バーまたはGnomeを完全に再度有効にする方法はありますか?
あなたはGnomeを再起動できるはずです
gnome-Shell --replace
マニュアルから:
DESCRIPTION
GNOME Shell provides core user interface functions for the GNOME 3 desktop,
like switching to windows and launching applications. GNOME Shell takes
advantage of the capabilities of modern graphics hardware and introduces
innovative user interface concepts to provide a visually attractive and
easy to use experience.
OPTIONS
--replace
Replace the running window manager
Alt-F2(IIRC)を押すと、コマンドを入力できるウィンドウが表示されます。通常のコマンドに加えて、GNOMEシェルは、デスクトップ環境の動作を制御するためのいくつかのカスタムコマンドをサポートしています。この場合、restart
が必要です。コンピューターではなく、シェルが再起動されます。
クラッシュしすぎて機能しない場合は、 terdon's answer を使用してください。