Linux Ubuntu : dnsmasqを使ってDNSキャッシュ UbuntuとArchLinuxではだいぶ設定方法が違うので dnsmasq でDNSキャッシングする方法を自分用のメモ。 まずは dnsmasq をインストール。 $ sudo apt install dnsmasq dnsmasq の設... 2017.05.31 2022.04.17 Linux
Windows Windows 10の高速化、およびセキュリティ強化 Virtualbox に Windows 10 をインストールする機会があったので、使いやすいよう不要な機能を停止し、アプリをごっそり削ってみた。 不要なアプリのアンインストール 「設定」の「アプリと機能」の項目でアンインストールできるアプ... 2017.05.25 2023.11.02 Windows
Linux BBC(英国放送協会)のネットラジオURL一覧 BBCラジオは2016年にオンデマンド型のラジオ配信へと戦略を切り替えました。その結果多くのプラットフォームでBBCの高品質なラジオ番組を楽しむことができるようになりました。 昔の BBC Radio は iPlayer 経由でないと再生で... 2017.02.13 2023.11.21 Linux
Linux GNOMEでファイルマネージャの関連付けを元に戻す 他のデスクトップ環境から GNOME に乗り換えたとき、ファイルマネージャーの関連付けが以前の環境のままの時があります。 例えば Xfce のファイルマネージャは Thunar のため、ただ Xfce をアンインストールしただけだとディレク... 2017.01.24 2023.11.02 Linux
Linux XFCEでのウィンドウサイズ変更が鬼のように難しい まえがき 去年末にGNOMEからXfce4にデスクトップ環境を入れ替えてみて快適になった。GNOME Shellも成熟してきており動作にそれほど不満を感じなかった。しかしXfceに変えたら一切のラグがなく作業ができるのでちょっと感動。 ただ... 2017.01.09 2022.11.29 Linux
Linux LinuxでWar Thunderを快適に遊ぶには 初稿:2016年8月26日更新:2023年12月1日 War Thunder は美麗なグラフィックで第二次世界大戦前後から現代も使われている兵器を陸(戦車)、海(艦船)、空(航空機)で遊べるゲームだ。実に1500種類もの兵器を遊ぶことができ... 2016.08.26 Linux
Linux Linux:ショートカットからモニタの電源を切る 昨今のディスプレイは物理的な電源ボタンが廃止されつつあります。製造コストを下げるためか利用する人がほとんどいなかったためなのかはわかりませんが、大変不便に感じるときがあります。 例えば PC に裏でエンコードやコンパイルさせつつ、少し離席し... 2016.07.15 2023.11.02 Linux
Linux Linux&Windows混在環境でのバックアップとファイルシステム 自宅では Linux を使っているが、ときどき Windows 搭載のノートPCを使うことがある。こういった特殊な状況下でオフラインストレージにデータをバックアップするとき、どのファイルシステムを使うか悩むことになる。ファイルシステムによっ... 2016.07.10 2021.06.15 LinuxWindows
Linux Linux:「Adapta」マテリアルデザインを採用した美しいテーマ Adaptaの開発は2020年に終了しました。最新のGNOMEやGTKアプリケーションの表示が壊れてしまう可能性が高いので使用しないほうが良いです。 統一されたデザインを取り入れることで操作性を向上させる「マテリアルデザイン」。Google... 2016.07.03 2022.07.13 Linux
Android PINE64は買いか否か 2016年6月23日 2012年にRaspberry Pi が世に出てから大企業を巻き込んで色んなシングル・ボード・コンピュータが開発された。去年キックスターターで公開された「Pine 64」もその一つで、元Appleの技術者が設計に携わっ... 2016.06.23 2022.11.29 AndroidLinuxハードウェア