GNOME Shellになってからか，ずいぶんと設定メニューの中身が変ってしまったので探したメモ．結論：たいていgnome-tweak-toolにある． CapsLockのCtrl化 フォントの変更など

ここにはSimple Shutdown Softwareについてかく