Linux便利技【Linux FAQ】あるパッケージに含まれるファイルの一覧を見るにはどうすればいいですか? Ubuntu/Debian系なら「dpkg -L パッケージ名」、Fedora/CentOSなどRed Hat系なら「rpm -ql パッケージ名」を使います。 Ubuntu/Debian系で「bash」パッケージのファイル一覧を出力する... 2017.10.08Linux便利技
Linux便利技【Linux FAQ】あるファイルが、どのパッケージに含まれるかを調べるにはどうすればいいですか? Ubuntu/Debian系なら「dlocate」や「apt-file」、Fedoraなら「dnf provides」、RHEL/CentOSなら「yum provides」を使います。 dlocate - Ubuntu/Debian系で... 2017.10.08Linux便利技
Linux便利技GNOMEのフォント設定をコマンドで確認・変更する方法 GNOMEのシステムフォント設定をコマンドで確認するには、以下のコマンドを実行します。 GNOME ShellだけでなくUbuntu 17.04以前のUnityでも、同じコマンドで設定可能です(ベースがGNOMEであるため)。 【等幅フォ... 2017.10.08Linux便利技
Linux FAQ【Linux FAQ】Ubuntuで.ecmファイルを展開するにはどうすればいいですか? 以下のコマンドでecmパッケージをインストールします。 sudo apt install -y ecm ecm-uncompressを以下のように実行します。 ecm-uncompress data.bin.ecm 更新履歴 201... 2017.10.06Linux FAQ
Linux FAQ【Linux FAQ】.debファイルをダウンロードしたのですが、どうやってインストールすればいいですか? UbuntuやLinux Mint、DebianといったDebian系Linuxディストリビューションを使っているなら、以下の方法でローカルにダウンロードした.debファイルをインストールできます。 方法1・aptを使ってインストール 端... 2017.10.05Linux FAQ
Linux FAQ【Linux FAQ】WaylandとXorgのどちらが動いているかを調べるにはどうすればいいですか? 環境変数「XDG_SESSION_TYPE」を調べます。 Waylandが動作している場合、以下のような出力になります。 $ echo $XDG_SESSION_TYPE wayland Xorgが動作している場合は、以下のような出力... 2017.10.04Linux FAQ
Linux FAQ【Linux FAQ】GNOME Shell拡張機能はどのディレクトリにインストールされますか? Webブラウザからインストールした拡張機能は、以下のディレクトリにインストールされます。 ~/.local/share/gnome-shell/extensions/ もし拡張機能をインストールしてログインできなくなった場合、このディレ... 2017.10.03Linux FAQ
シェルsudoでリダイレクトするとエラーが出た時の解決法 書き込みにroot権限が必要なファイルに、リダイレクトで書き込みたいことがありますよね。でも、「sudo」を使って以下のように実行しても、期待に反してエラーが出てしまいます。 $ sudo echo 'test' > /root/test... 2017.10.03シェル
シェルsudoでsuのようにルートシェルを使う方法 ルート権限でコマンドを実行する時、「sudo」を使うのが一般的ですよね。本サイトでも、以下のように「sudo」を使ったコマンド実行例を多く載せています。 sudo apt install -y lv でも、root権限で複数のコマンドを... 2017.10.03シェル
シェルシェルで現在のユーザーID・グループIDを取得する方法 現在のユーザーID・グループIDは、「id」コマンドで取得することができます。 $ id uid=1000(lintaro) gid=1000(lintaro) groups=1000(lintaro),4(adm),24(cdrom),... 2017.10.02シェル