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?