GNOME Shell拡張機能

Linuxガイド

Ubuntu 19.04のインストール直後にやっておきたいことまとめ

Ubuntu 19.04をインストールした後にやっておきたいことをまとめました。 Ubuntu 19.04 (Disco Dingo)のインストールの方法は、以下の記事で紹介しています。これからインストールする方は参考にしてください。 ...
Linuxガイド

Ubuntu 18.10のインストール直後にやっておきたいことまとめ

Ubuntu 18.10をインストールした後にやっておきたいことをまとめました。 Ubuntu 18.10(Cosmic Cuttlefish)のインストールの方法は、以下の記事で紹介しています。これからインストールする方は参考にしてくだ...
Linuxガイド

Ubuntu 18.04 LTSのインストール直後にやっておきたいことまとめ

Ubuntu 18.04 LTSをインストールした後にやっておきたいことをまとめました。 Ubuntu 18.04 LTS(Bionic Beaver)のインストールの方法は、以下の記事で紹介しています。これからインストールする方は参考に...
おすすめLinuxアプリ

「Gno-Menu」でGNOME Shellのトップバーに万能メニューを追加する

他のOSから最近のLinuxに乗り換えたり、GNOME 2からGNOME 3に乗り換えて「えっ?」って思うのが、右上の「アクティビティ」を押した時の表示(アクティビティオーバービュー)ですよね。 慣れれば使いやすいのですが、やはり旧来のデ...
Linuxガイド

Ubuntu 17.10のインストール直後にやっておきたいことまとめ

Ubuntu 17.10をインストールした後にやっておきたいことをまとめました。 Ubuntu 18.04 LTSをお使いの場合は以下をご覧ください。 Ubuntu 17.10のインストールの方法は、以下の記事で紹介しています。これか...
Linux FAQ

【Linux FAQ】GNOME Shell Extension(拡張機能)のエラー内容を見るにはどうすればいいですか?

GNOME Shell拡張機能をインストールすると、以下のようにエラーが出ることがあります。 エラー内容を見るには、まずAlt+F2を押し、「lg」コマンドを実行してください。 以下のような表示になるので、右上の「Extensi...
Linuxテクニック

GNOME Shellのパネルに日付を表示する方法

GNOME Shellのデフォルト設定では、パネルに曜日と時刻しか表示されません。 UnityなどからGNOME Shellに乗り換えると、これは不便に感じますよね。Ubuntu 17.10にアップグレードして、この点を不便に感じた人...
おすすめLinuxアプリ

生産性アップ!GNOME Shellで使えるポモドーロ・タイマー

「ポモドーロ・テクニック」という時間管理術があります。集中して仕事をこなすために、時間を作業25分+休憩5分に区切って仕事をこなすというものです。こうすることで、効率的に作業して生産性をアップさせることができると言われています。 このポモ...
Linuxテクニック

GNOME Shellのカスタマイズに必須!拡張機能をインストールする方法

GNOME Shellに拡張機能(Extensions)を追加することで、自分好みのデスクトップにカスタマイズすることができます。ちょうど、Google ChromeやFirefoxに拡張機能が追加できるのと同じようなものですね。 拡張機...