Linux/WSL
Linux/WSLLinux/WSL
Linux/WSLPetaLinux のイメージサイズ削減＆パーティションサイズ最大化
Xilinx の FPGA ボードではYocto Linux をベースにしたPetaLinuxが採用されています。このLinuxを使用するためにはRaspberry Piと同じようにSDカードにイメージを書き込んで、そのSDカードを基板に挿...
Linux/WSLOpenSSHをバージョンアップしたら ssh 接続できなくなったときの対策
ssh で接続するとき、別に .ssh/config や鍵は変更していないのに「Permission denied (publickey).」というエラーがでて途方に暮れることがあります。いろいろ理由は考えられますが、ここでは OpenSS...
Linux/WSLWindows10 WSL or Ubuntu で Selenium を使ってchromeを起動させる
ブラウザの自動化ツールといえば Seleniumですね。 Widowsネイティブで動かすほうがハードルが低いですが、 せっかくなので今回はWindows10 WSL で Seleniumを使って Chromeを起動させる方法を説明します。 ...
Linux/WSLWSL Windows10 でchrome などのGUIアプリを動かす
WSLが登場して以来、 Windows で Ubuntu が動作するようになりとても快適になりました。 コマンドをCLIで叩いている分には問題ないのですが、ときどきブラウザなどの GUI アプリを起動させたくなるときが有ります。 Windo...
Linux/WSLUbuntuのデフォルトシェルをスクリプトから変更する
Ubuntuではデフォルトでは bash でなく dash が使われています。それで困ることはそれほど多くないのですが bash の便利機能（文字列置換や数式評価など）を使いたいときに不便です。 またシェルスクリプトでちゃんとシェバンを書い...
Linux/WSLWSLをネットワークドライブに割り当てて便利に使う方法
Windows の WSL を使っているかた多いと思います。便利ですもんね。当ブログでも下記の記事にアクセスが集まっているのできっとみんなWSLを使っているんだと思います。 今回はそのWSL上のファイルに便利にアクセスする方法を書きます。 ...
Linux/WSLコマンド出力を色付きのまま保存する | ansi2html と unbuffer
LinuxやWSLなどでコマンドを実行した時、出力がカラーで表示されることがあると思います。たとえば ls --color=auto とかですね。このような出力を普通にリダイレクションなどでファイルに書き込むと色情報が失われて普通の文字にな...
Linux/WSLzip コマンドで効率的にバックアップ
Linux の zip コマンドはよく使われるコマンドであり、さまざまなオプションがあります。その中でファイルのバックアップに便利そうなオプションを今回は紹介します。ちょっとググった感じではヒットしなかったのでもしかしたらマイナーなオプショ...
Linux/WSLctrl-d でログアウトしないようにする方法
LinuxやMSYSでターミナルで作業していて、うっかりctrl-d を押してしまいログアウトしてイラッとしたことありませんか？一文字削除と同じキーなのでうっかりやってしまうんですよね。そんな小さないらいらをなくすTipsを紹介します。 シ...
Linux/WSLWSLやGit for WindowsでのProxy設定方法｜PACファイルでも
Windows上でLinuxライクな環境を使うにはWSLやMSYS2（もしくはGit for Windows、Cygwin など）がありますね。その際、職場で使うときは、Proxyの設定が必要になることが多いと思います。Windows側の設...