command linegnome-shell
I would like to implement a keyboard shortcut to restart gnome-shell whenever this one crashes (some bugs aren't currently fixed just yet). For this I would need a command line to restart the shell.
The Alt+F2 and restart command won't work when the shell is crashed because the prompt is implemented in the shell.
Hence, how to restart the gnome-shell from command line?
To invert the entire screen you can use the program xcalib:
xcalib -invert -alter
From the xcalib man page
xcalib loads 'vcgt'-tag of ICC profiles to the X-server using the XVidMode Extension in order to calibrate your display.
That means it does not depend on compiz being used.
You can install it using sudo apt-get install xcalib. To make it more convenient assign a keyboard shortcut opening the Keyboard settings.
There, navigate to shortcuts. Add a custom shortcut by pressing the plus button, add the name and the command. It will be disabled by default, so assign a shortcut by clicking on Disabled and perform the wanted shortcut, e.g. meta + i
Before:
After xcalib -invert -alter was launched (mapped to <meta-i>:
Pressing it again restores to the normal not inverted screen.
The comments on this omgubuntu.co.uk article list two possible ways:
The GNOME Shell Extension Installer · Github, a bash script to install and search extensions from extensions.gnome.org. Install it with
wget -O gnome-shell-extension-installer "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
chmod +x gnome-shell-extension-installer
sudo mv gnome-shell-extension-installer /usr/bin/
Update the extensions 23 and 42 for GNOME Shell 3.18.4 with
ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell
Update all extensions with
gnome-shell-extension-installer --yes --update --restart-shell
I couldn’t test it, but I’m pretty sure it’s scriptable.
If you installed your extensions by cloning their git repos to /path/ you can just git pull the repos one after one:
for i in /path/*; do
git -C"$i" pull
done
After that you need to reload GNOME Shell with either Alt+F2 and r or the command gnome-shell -r.
Best Answer
GNOME Shell 3.30.1 on Ubuntu 18.10
The command to replace
gnome-shellwould be sending a SIGQUIT signal to it with:or:
As of GNOME Shell 3.30.1 on Ubuntu 18.10, the solution below no longer works, and will kick the user to the login screen, losing all of their work.
Before GNOME Shell 3.30.1
The command to replace
gnome-shellwould be:The ampersand is added to return the shell prompt after running the command; pressing Ctrl+C or closing the terminal instead would make the desktop unusable, and require a full restart.
From the manual page of
gnome-shell:-r, --replace Replace the running window managerUnsure which version you are using?
The command to check your GNOME Shell version is: