ubuntuの17.10がリリースされていたのでうっかりアップグレードしてしまった。UIが結構変わっていて、変わったことを知らないと大変戸惑う。 うちではビデオプレイヤーとして活用しているので映像関連だけ確認。と言っても…