Linux Linux : US配列キーボードでMozcを使う
US配列のキーボードでMozcで日本語入力するための設定をご紹介。
最初はFcitxを弄くりまわしたりIBusに手を出したり迷走したけれどやり方はものすごく簡単だった。
設定方法
GNOMEやKDE、それぞれのデスクトッ...
Linux 
Linux Linux : GNOMEでDNSサーバを変更する
DNSサーバはユーザが問い合わせたドメイン名をPCが解釈できるようIPアドレスに変換してくれるサーバ。このサーバの応答が遅い場合、いくら通信速度が早くてもデータを受け取るのに時間がかかってしまう。本記事では Linux （GNOME）デス...
ハードウェア DREVO Tyrfing メカニカルキーボード、レビュー
かねてより買いたいと思っていたメカニカルキーボードを購入。
ここ数年、格安のテンキーレス・メカニカル・キーボードがAmazonなどで出回ってきたため手に入れる機会を伺っていたが、なかなか機能とデザインが満足の行く商品がなかった。そん...
セキュリティ 無料で利用できる公開 DNS サーバ
更新：2018年4月29日
公開 DNS サーバは契約しているプロバイダが提供している DNS サーバに障害が発生したときに便利。また怪しいサイトやマルウェアへの接続をブロックしてくれるサービスもついてくるところが多いので目的に応じ...
Linux Ubuntu : dnsmasqを使ってDNSキャッシュ
UbuntuとArchLinuxではだいぶ設定方法が違うので dnsmasq でDNSキャッシングする方法を自分用のメモ。
まずは dnsmasq をインストール。
$ sudo apt install dnsmasq
...
Windows Windows 10の高速化、およびセキュリティ強化
Virtualbox に Windows 10 をインストールする機会があったので、使いやすいよう不要な機能を停止し、アプリをごっそり削ってみた。
不要なアプリのアンインストール
「設定」の「アプリと機能」の項目でアンイン...
Linux BBC(英国放送協会)のネットラジオURL一覧
BBCラジオは2016年にオンデマンド型のラジオ配信へと戦略を切り替えた。
昔の BBC Radio は iPlayer 経由でないと再生できなかったため、リージョンロックされたり、特定のオペレーティング・システムでは再生できなかっ...
Linux Linux：Gnomeでファイルマネージャの関連付けを元に戻す
先月 Xfce を使い始めたばかりだが、また Gnome にデスクトップ環境を戻した。 Xfce は軽量で使い勝手も素晴らしいけど、どうもミニマリストの自分には Gnome の方が自分に合っているようだ。デスクトップ全体の統一感が良いのだ...
Linux XFCEでのウィンドウサイズ変更が鬼のように難しい
まえがき
去年末にGNOMEからXfce4にデスクトップ環境を入れ替えてみて快適になった。GNOME Shellも成熟してきており動作にそれほど不満を感じなかった。しかしXfceに変えたら一切のラグがなく作業ができるのでちょっと感動...
Linux LinuxでWar Thunderを快適に遊ぶには
初稿：2016年8月26日更新：2020年12月6日
War Thunder は美麗なグラフィックで第二次世界大戦前後から現代も使われている兵器を陸（戦車）、海（艦船）、空（航空機）で遊べるゲームだ。実に1500種類もの兵器を遊ぶこ...