オススメのGNOME Shell Extensionsと導入方法
全国2兆4000億人のGNOME3ファンの皆さん、こんにちは。GNOME3はエレガントで素晴らしいデスクトップ環境ですが、拡張機能「GNOME Shell Extensions」をインストールすると更に使い勝手が良くなります。今回は、この拡張機能の導入方法とオススメを紹介します。 1. 導入方法 GNOME Tweak Toolのインストール GNOME Tweak Toolをインストールすると、GNOME3のカスタマイズを簡単に行えるようになります。拡張機能の管理はもちろん、テーマやフォントの変更、最小化・最大化ボタンの表示もできます。ディストリビューションによってはプリインストールされています。 以下のコマンドを実行してインストールします。 [code]sudo apt install gnome-tweak-tool //Debian・Ubuntuの場合 sudo pacman -
Firefoxで従来のPocketアドオンを利用する方法
Mozilla Firefoxで現在ビルトインされているPocket機能の代わりに従来のアドオン版を利用する方法を紹介します。 使いやすかったアドオン版Pocketのリスト Firefoxではバージョン38.0.5からPocket（あとで読むサービス）を標準搭載するようになりました。が、これが従来のPocketアドオンと比べて使いにくいこと･･･。それまで1クリックでPocketを表示できたのが、ブックマークから「Pocketのリストを表示」を選んでWebで開くしか無くなっていたり、ボタンの位置が変わっていたり・・・。絶対前のアドオンのほうが使いやすかったです。 しかし残念ながら公式のアドオンは既に配布が停止されており、Add-ons for Firefoxからは従来アドオンを手に入れることが出来なくなっています。そこで完全に非公式ではありますが、ネット上に転がっているPocketアドオン
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
