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更新 ...

2017年10月5日Linux FAQ

UbuntuやLinux Mint、DebianといったDebian系Linuxディストリビューションを使っているなら、以下の方法でローカルにダウンロードした.debファイルをインストールできます。

方法1・aptを使ってインス ...

2017年10月4日Linux FAQ

環境変数「XDG_SESSION_TYPE」を調べます。

Waylandが動作している場合、以下のような出力になります。

$ echo $XDG_SESSION_TYPEwayland

Xorgが動作している場合 ...

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

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

2017年10月3日Linux FAQ

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

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

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

2017年10月3日シェル

書き込みにroot権限が必要なファイルに、リダイレクトで書き込みたいことがありますよね。でも、「sudo」を使って以下のように実行しても、期待に反してエラーが出てしまいます。

$ sudo echo 'test'>/root/t ...

2017年10月3日シェル

ルート権限でコマンドを実行する時、「sudo」を使うのが一般的ですよね。本サイトでも、以下のように「sudo」を使ったコマンド実行例を多く載せています。

sudo apt install -y lv

でも、root権限で複数 ...

2017年10月2日シェル

現在のユーザーID・グループIDは、「id」コマンドで取得することができます。

$ iduid=1000(lintaro) gid=1000(lintaro) groups=1000(lintaro),4(adm),24(cdr ...