Перезагрузка gnome-shell из консоли

Случается (по крайней мере у меня на 19-й Федоре), когда gnome-shell падает, да с таким грохотом, что никакой atl+f2 не спасает. И что же делать? Перезапускать gdm3? Зачем, если можно всего-то сделать следующее:

1) Идем в консоль по atl+f1 / alt+f2 (каждому свое)
2) Пишем там команду w, чтобы узнать дисплей, с которого сидим:

clem@host:/$ w
 15:23:19 up 23:42,  5 users,  load average: 0.03, 0.11, 0.38
USER     TTY      FROM              LOGIN@   IDLE   JCPU   PCPU WHAT
clem     tty1                      11:32    8:03  16.14s  0.01s /usr/lib/gnome-shell/gnome-shell-calendar-server
clem     pts/0    :1               11:13    4:07m  3.17s  9.61s gnome-terminal
clem     pts/1    :1               11:26    3:52m  2:17   0.27s bash
root     pts/2    :1               12:03   21:53   0.36s  0.36s /bin/bash -i
clem     pts/3    :1               14:56    0.00s  0.39s  0.00s w

В колонке ""FROM" наблюдаем наш дисплей, в данном случае - "1".

3) Прописываем следующую команду, заменяя мою "1" своим значением

clem@host:/$ export DISPLAY=:1.0

4) И напоследок вбиваем следующую команду:

clem@host:/$ gnome-shell --replace

5) По alt+f7 (или что там в вашем дистре) возвращаемся в графику и.... вуаля, все работает :)