Linux/WSL PetaLinux のイメージサイズ削減&パーティションサイズ最大化 Xilinx の FPGA ボードではYocto Linux をベースにしたPetaLinuxが採用されています。このLinuxを使用するためにはRaspberry Piと同じようにSDカードにイメージを書き込んで、そのSDカードを基板に挿... 2023-06-04 Linux/WSL
Linux/WSL OpenSSHをバージョンアップしたら ssh 接続できなくなったときの対策 ssh で接続するとき、別に .ssh/config や鍵は変更していないのに「Permission denied (publickey).」というエラーがでて途方に暮れることがあります。いろいろ理由は考えられますが、ここでは OpenSS... 2023-02-09 Linux/WSL
git Proxy環境下でSSHでgit clone する Proxyガ導入されている職場の場合、git clone できない場合があります。 HTTPS経由でよいなら下記の記事の設定で行けるようになるかと思います。 しかし ssh で cloneした場合はこれではできません。 今回は Proxy ... 2023-01-30 2023-03-09 git
git git bundle でリモートリポジトリを使わずにコミットを共有する Git で複数人で開発するときは、通常はサーバにリモートリポジトリを用意して、 みんなでそこへ git push/ pull してコードを共有すると思います。 しかしたとえば他社のかたと共同開発する場合にセキュリティの問題や契約の問題で、 ... 2023-01-29 git
ランニング たぶん確実に痩せるダイエット方法 健康診断でデブになった事実を突きつけられ、このままではやばいと思いダイエットにいそしんだ結果、4か月で13Kg減(82Kg → 69Kg)に成功しました。おそらく誰にでも適用できそうなこの時の減量の方法をシェアします。参考になれば幸いです。... 2023-01-08 2023-07-12 ランニング
Linux/WSL Windows10 WSL or Ubuntu で Selenium を使ってchromeを起動させる ブラウザの自動化ツールといえば Seleniumですね。 Widowsネイティブで動かすほうがハードルが低いですが、 せっかくなので今回はWindows10 WSL で Seleniumを使って Chromeを起動させる方法を説明します。 ... 2022-09-16 2023-01-25 Linux/WSL
Linux/WSL WSL Windows10 でchrome などのGUIアプリを動かす WSLが登場して以来、 Windows で Ubuntu が動作するようになりとても快適になりました。 コマンドをCLIで叩いている分には問題ないのですが、ときどきブラウザなどの GUI アプリを起動させたくなるときが有ります。 Windo... 2022-09-16 2023-01-25 Linux/WSL
Docker Docker の Proxy初期設定 Proxy 設定めんどくさいですよね。Docker の初期設定でいろいろつまづいたので、設定方法を書いておきます。ご参考になれば。 ちなみに確認環境は WSL Ubuntu20.04です。 $ lsb_release -a No LSB m... 2022-08-23 2023-01-25 Docker
Linux/WSL Ubuntuのデフォルトシェルをスクリプトから変更する Ubuntuではデフォルトでは bash でなく dash が使われています。それで困ることはそれほど多くないのですが bash の便利機能(文字列置換や数式評価など)を使いたいときに不便です。 またシェルスクリプトでちゃんとシェバンを書い... 2022-08-23 2023-01-25 Linux/WSL
Linux/WSL WSLをネットワークドライブに割り当てて便利に使う方法 Windows の WSL を使っているかた多いと思います。便利ですもんね。当ブログでも下記の記事にアクセスが集まっているのできっとみんなWSLを使っているんだと思います。 今回はそのWSL上のファイルに便利にアクセスする方法を書きます。 ... 2022-08-10 2023-01-25 Linux/WSL