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

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

Ubuntu 17.10をインストールした後にやっておきたいことをまとめました。
Ubuntu 18.04 LTSをお使いの場合は以下をご覧ください。
Ubuntu 17.10のインストールの方法は、
Ubuntu 17.10インストールガイド【スクリーンショットつき解説】

10月18日、Ubuntu 17.10がリリースされました。インストール方法をスクリーンショットつきでまとめたので、参考にしてください。
初心者でも分かりやすいよう、難しい設定は行わず、1台のSSDあるいはHDDを搭載した ...
GNOME Shellのパネルに日付を表示する方法

GNOME Shellのデフォルト設定では、パネルに曜日と時刻しか表示されません。
UnityなどからGNOME Shellに乗り換えると、これは不便に感じますよね。Ubuntu 17.10にアップグレードして、この点を不 ...
【Linux FAQ】インストールしたパッケージのキャッシュを削除するにはどうすればいいですか?

Ubuntu/Debian系なら、以下のコマンドで削除できます。
sudo apt clean【関連記事】
Fedoraなら、以下のコマンドで削除できます。
sudo dnf clean all【Linux FAQ】あるパッケージに含まれるファイルの一覧を見るにはどうすればいいですか?

Ubuntu/Debian系なら「dpkg -L パッケージ名」、Fedora/CentOSなどRed Hat系なら「rpm -ql パッケージ名」を使います。
Ubuntu/Debian系で「bash」パッケージのファイ ...
【Linux FAQ】あるファイルが、どのパッケージに含まれるかを調べるにはどうすればいいですか?

Ubuntu/Debian系なら「dlocate」や「apt-file」、Fedoraなら「dnf provides」、RHEL/CentOSなら「yum provides」を使います。
dlocate – Ubun ...RetroPieでゲームエミュレーターを簡単インストール【Ubuntu・Linux Mint・Debian】

ミニスーファミやレトロフリークといった「レトロゲーム」が遊べるゲーム機が人気のようですね。こうしたゲーム機も中核ではLinuxで動いており、ゲーム機のエミュレーターを動作させるため、Linux向けに作られたプログラムが多く利用されてい ...
【Linux FAQ】Ubuntuで.ecmファイルを展開するにはどうすればいいですか?

以下のコマンドでecmパッケージをインストールします。
sudo apt install -y ecmecm-uncompressを以下のように実行します。
ecm-uncompress data.bin.ecm更新 ...生産性アップ!GNOME Shellで使えるポモドーロ・タイマー

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