0162login:Penguin
2016/07/24(日) 00:51:13.77ID:3Flk5PMXホスト名設定法。hostnamectlによる方法とCockpitを使う方法。
How to set the hostname on Fedora
https://fedoramagazine.org/set-hostname-fedora/
Gnome3のタイトルバーを小さくする(F24以降)
Make your Gnome title bar smaller – Fedora 24 update
http://blog.samalik.com/make-your-gnome-title-bar-smaller-fedora-24-update/
CSSで定義してるんだな。知らなかった。
洒落で巨大化してみた。