2017年10月12日Linuxテクニック

各サーバーソフトなどの設定ファイル、シェルスクリプト、あるいはPythonやPHPといったスクリプトファイルから特定の文字列を探し出し、一括で置換したいことってありますよね。
でも、文字列を置換するためだけにエディタでファイル ...

2017年10月12日Linuxテクニック

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

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

2017年10月10日シェル

「bash」なら、以下のように書くことでファイルの内容を変数に入れることができます。

#!/bin/bashTEST=$(<test.txt)echo "$TEST"

古い環境でも使える「sh」でも動くように書くなら、 ...

2017年10月8日Linux便利技

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

sudo apt clean

【関連記事】

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

sudo dnf clean all

2017年10月8日Linux便利技

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

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

2017年10月8日Linux便利技

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

dlocate – Ubun ...

2017年10月8日おすすめLinuxアプリ

Powerline Shellを使えば、以下のようなカラフルでカッコイイなプロンプトにすることができます。

カッコイイだけじゃなく、プロンプトに以下のような便利機能が追加されます。

GitやSVNなどのブラン ...

2017年10月8日Linux便利技

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

2017年10月6日おすすめLinuxアプリ

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

2017年10月6日Linux FAQ

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

sudo apt install -y ecm

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

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