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