GNOME

Ubuntu 17.10より「GNOME Shell」が標準のデスクトップ環境になりました。といっても、搭載されているのは「UbuntuコミュニティによってカスタマイズされたGNOME Shell」です。これまでUnityを使ってきた ...

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

Ubuntu 18.04 LTSをお使いの場合は以下をご覧ください。

Ubuntu 17.10のインストールの方法は、

GNOME Shell拡張機能をインストールすると、以下のようにエラーが出ることがあります。

エラー内容を見るには、まずAlt+F2を押し、「lg」コマンドを実行してください。

以下のような表示になるので、右上 ...

GNOME Shellのデフォルト設定では、パネルに曜日と時刻しか表示されません。

UnityなどからGNOME Shellに乗り換えると、これは不便に感じますよね。Ubuntu 17.10にアップグレードして、この点を不 ...

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

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

Webブラウザからインストールした拡張機能は、以下のディレクトリにインストールされます。

~/.local/share/gnome-shell/extensions/

もし拡張機能をインストールしてログインできなくなった場合 ...

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

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