2016-05-08

UbuntuのカスタムツールであるUbuntu Tweakがディスコンになったようです。代替ツールとして、Unity Tweak ToolやGnome Tweak Tool for Gnome Shellを使用するのが推奨されています。