おすすめLinuxアプリ生産性アップ！GNOME Shellで使えるポモドーロ・タイマー
「ポモドーロ・テクニック」という時間管理術があります。集中して仕事をこなすために、時間を作業25分+休憩5分に区切って仕事をこなすというものです。こうすることで、効率的に作業して生産性をアップさせることができると言われています。
このポモ...
2017-10
おすすめLinuxアプリ
Linux FAQ【Linux FAQ】GNOME Shell拡張機能はどのディレクトリにインストールされますか？
Webブラウザからインストールした拡張機能は、以下のディレクトリにインストールされます。
~/.local/share/gnome-shell/extensions/
もし拡張機能をインストールしてログインできなくなった場合、このディレ...
シェルsudoでリダイレクトするとエラーが出た時の解決法
書き込みにroot権限が必要なファイルに、リダイレクトで書き込みたいことがありますよね。でも、「sudo」を使って以下のように実行しても、期待に反してエラーが出てしまいます。
$ sudo echo 'test' > /root/test...
シェルsudoでsuのようにルートシェルを使う方法
ルート権限でコマンドを実行する時、「sudo」を使うのが一般的ですよね。本サイトでも、以下のように「sudo」を使ったコマンド実行例を多く載せています。
sudo apt install -y lv
でも、root権限で複数のコマンドを...
シェルシェルで現在のユーザーID・グループIDを取得する方法
現在のユーザーID・グループIDは、「id」コマンドで取得することができます。
$ id
uid=1000(lintaro) gid=1000(lintaro) groups=1000(lintaro),4(adm),24(cdrom),...
シェルsudoを実行しているユーザーの名前やIDを取得する方法
sudoで実行したシェルでは、「whoami」コマンドは「root」を返しますし、環境変数「$USER」にも「root」が設定されています。
また、「id -u」や「id -g」コマンドは、rootユーザーのユーザーID・グループIDである...
シェルシェルで現在のユーザー名を取得する方法
コマンドラインやシェルスクリプトでは、「whoami」コマンドでユーザー名を出力することができます。
whoami
もしくは、「id -u -n」でも可能です。
id -u -n
変数に入れるなら、以下のようにします。
USERN...
LinuxテクニックGNOME Shellのカスタマイズに必須！拡張機能をインストールする方法
GNOME Shellに拡張機能(Extensions)を追加することで、自分好みのデスクトップにカスタマイズすることができます。ちょうど、Google ChromeやFirefoxに拡張機能が追加できるのと同じようなものですね。
拡張機...
おすすめLinuxアプリGNOME ShellとAndroidを常時連携！拡張機能でKDE Connectを統合する方法
（2018-03-29追記）
この記事で紹介している「MConnect」は既に開発が停止しています。同じ作者による、より高機能な「GSConnect」をオススメします。詳しくは以下の記事をご覧ください。
MConnectというGNOME...
Linux便利技GNOME Shellのデスクトップから「ゴミ箱」を消すコマンド
GNOME Shellのデスクトップには「ゴミ箱」がありますが、使わないって人も多いですよね。
このゴミ箱、以下のコマンドを実行するだけで消すことができます。
gsettings set org.gnome.nautilus.deskto...