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

2017年10月2日シェル

sudoで実行したシェルでは、「whoami」コマンドは「root」を返しますし、環境変数「$USER」にも「root」が設定されています。
また、「id -u」や「id -g」コマンドは、rootユーザーのユーザーID・グル ...

2017年10月2日シェル

コマンドラインやシェルスクリプトでは、「whoami」コマンドでユーザー名を出力することができます。

whoami

もしくは、「id -u -n」でも可能です。

id -u -n

変数に入れるなら、以下のようにしま ...

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

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

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

(2018-03-29追記)
この記事で紹介している「MConnect」は既に開発が停止しています。同じ作者による、より高機能な「GSConnect」をオススメします。詳しくは以下の記事をご覧ください。

2017年10月1日Linux便利技

GNOME Shellのデスクトップには「ゴミ箱」がありますが、使わないって人も多いですよね。
このゴミ箱、以下のコマンドを実行するだけで消すことができます。

gsettings set org.gnome.nautil ...