GNOME

Linuxガイド

Ubuntu 17.10で「より標準の」GNOME Shellを使う方法

Ubuntu 17.10より「GNOME Shell」が標準のデスクトップ環境になりました。といっても、搭載されているのは「UbuntuコミュニティによってカスタマイズされたGNOME Shell」です。これまでUnityを使ってきたユーザ...
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のフォント設定をコマンドで確認・変更する方法

GNOMEのシステムフォント設定をコマンドで確認するには、以下のコマンドを実行します。 GNOME ShellだけでなくUbuntu 17.04以前のUnityでも、同じコマンドで設定可能です(ベースがGNOMEであるため)。 【等幅フォ...
おすすめLinuxアプリ

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

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

【Linux FAQ】GNOME Shell拡張機能はどのディレクトリにインストールされますか?

Webブラウザからインストールした拡張機能は、以下のディレクトリにインストールされます。 ~/.local/share/gnome-shell/extensions/ もし拡張機能をインストールしてログインできなくなった場合、このディレ...
Linuxテクニック

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

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

コマンド1行でGNOME Shellのウィンドウに「最大化」「最小化」ボタンを追加する方法

やっぱりウィンドウのタイトルバーに「最大化」「最小化」のボタンが欲しいって人、多いですよね。GNOME Shellではデフォルトで「閉じる」のボタンしか表示されていませんが、以下のコマンドを実行するだけで「最大化」「最小化」のボタンが追加さ...