Ubuntu

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

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

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

10月18日、Ubuntu 17.10がリリースされました。インストール方法をスクリーンショットつきでまとめたので、参考にしてください。

初心者でも分かりやすいよう、難しい設定は行わず、1台のSSDあるいはHDDを搭載した ...

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

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

Ubuntu/Debian系なら、以下のコマンドで削除できます。

sudo apt clean

【関連記事】

Fedoraなら、以下のコマンドで削除できます。

sudo dnf clean all

Ubuntu/Debian系なら「dpkg -L パッケージ名」、Fedora/CentOSなどRed Hat系なら「rpm -ql パッケージ名」を使います。

Ubuntu/Debian系で「bash」パッケージのファイ ...

Ubuntu/Debian系なら「dlocate」や「apt-file」、Fedoraなら「dnf provides」、RHEL/CentOSなら「yum provides」を使います。

dlocate – Ubun ...

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

以下のコマンドでecmパッケージをインストールします。

sudo apt install -y ecm

ecm-uncompressを以下のように実行します。

ecm-uncompress data.bin.ecm更新 ...

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

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