В Ubuntu 13.10 предполагается перезапуск иксов комбинацией клавиш Alt-PrintScreen-K. Как-то непривычно.
Чтобы сделать на старый лад Ctrl-Alt-Backspace нужно:
1. Установить dconf-editor:
sudo apt-get install dconf-editor
2. Затем в dconf-editor'е в разделе org-->gnome-->desktop-->input-source-->xkb-options прописать 'terminate:ctrl_alt_bksp'
3. Выйти и войти в систему.
Чтобы сделать на старый лад Ctrl-Alt-Backspace нужно:
1. Установить dconf-editor:
sudo apt-get install dconf-editor
2. Затем в dconf-editor'е в разделе org-->gnome-->desktop-->input-source-->xkb-options прописать 'terminate:ctrl_alt_bksp'
3. Выйти и войти в систему.