Linux SSH を使って Raspberry Pi に接続 〜Windows編〜
概要Windows クライアントPCから SSH で Raspberry Pi 2 に接続し、遠隔操作可能にします。ここではあくまでローカルネットワーク上での利用を想定しています。マクロなどにも対応しており日本語ドキュメントも豊富なオープン...
Linux
Linux 
Linux SSH を使って Raspberry Pi 2 を操作 〜 Linux 編〜
クライアント側が Linux か Windows、ホスト側（Raspberry Pi）が Raspian OS をインストール、それぞれルータを介して接続していることが前提です。詳しい解説は下のURLを参照SSH using Linux o...
Linux [Linux] US配列キーボードでMozcを使う
US配列のキーボードで Mozc で日本語入力するための設定をご紹介。最初は Fcitx を弄くりまわしたり IBus に手を出したり迷走したけれどやり方はものすごく簡単だった。設定方法GNOME や KDE、それぞれのデスクトップ環境の通...
Linux [Linux] GNOMEでDNSサーバを変更する
DNSサーバーはユーザーが問い合わせたドメイン名（google.co.jp など）をPCが解釈できるようIPアドレス（142.250.196.99）に変換してくれるサーバーです。このサーバーの応答速度が遅いと、いくら回線速度が早くてもデータ...
Linux Ubuntu : dnsmasqを使ってDNSキャッシュ
UbuntuとArchLinuxではだいぶ設定方法が違うので dnsmasq でDNSキャッシングする方法を自分用のメモ。まずは dnsmasq をインストール。$ sudo apt install dnsmasqdnsmasq の設定を行...
Linux BBC(英国放送協会)のネットラジオURL一覧
BBCラジオは2016年にオンデマンド型のラジオ配信へと戦略を切り替えました。その結果多くのプラットフォームでBBCの高品質なラジオ番組を楽しむことができるようになりました。昔の BBC Radio は iPlayer 経由でないと再生でき...
Linux GNOMEでファイルマネージャの関連付けを元に戻す
他のデスクトップ環境から GNOME に乗り換えたとき、ファイルマネージャーの関連付けが以前の環境のままの時があります。例えば Xfce のファイルマネージャは Thunar のため、ただ Xfce をアンインストールしただけだとディレクト...
Linux XFCEでのウィンドウサイズ変更が鬼のように難しい
まえがき去年末にGNOMEからXfce4にデスクトップ環境を入れ替えてみて快適になった。GNOME Shellも成熟してきており動作にそれほど不満を感じなかった。しかしXfceに変えたら一切のラグがなく作業ができるのでちょっと感動。ただ一点...
Linux LinuxでWar Thunderを快適に遊ぶには
初稿：2016年8月26日更新：2023年12月1日War Thunder は美麗なグラフィックで第二次世界大戦前後から現代も使われている兵器を陸（戦車）、海（艦船）、空（航空機）で遊べるゲームです。実に1500種類もの兵器を遊ぶことができ...
Linux Linux：ショートカットからモニタの電源を切る
昨今のディスプレイは物理的な電源ボタンが廃止されつつあります。製造コストを下げるためか利用する人がほとんどいなかったためなのかはわかりませんが、大変不便に感じるときがあります。例えば PC に裏でエンコードやコンパイルさせつつ、少し離席した...