新たにGNOME Shellを採用するUbuntu 17. 10で有効になっているGNOME Shell拡張機能について解説します。 Ubuntu 17. 10のGNOME Shell Ubuntu 17. 10のリリースが近づいてきています。姉妹連載で既報のとおりUnityからGNOME Shellに移行する最初のUbuntuということで、 GNOME Shellにどの ...
そしてGNOME Shellには拡張機能という仕組みがあり、さまざまな機能を追加できる。それどころか、Ubuntuではあらかじめ3つの拡張機能が有効になっている。 GNOME Shell拡張機能(以下拡張機能)は、GNOME Shellを便利にするものや、特段便利なわけではないものの派手 ...
今月の19日ぐらいにUbuntu 17. 10がリリースされます。17. 10の最大の変更点はUnityからGNOME Shellへの移行でしょう。そのGNOME Shell、 実はUIコンポーネントの多くをJavaScriptで実装しています。JavaScriptの知識さえあれば容易に機能拡張できるようになっているのです。
また、同プロジェクトの「Windows 10のcmd.exe上でUbuntuユーザースペースとbashシェルがネイティブで動作する」という仕組みを耳にしても、理解するまでかなりの時間を要したという。
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する