Ubuntu17.10

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