プログラミングの親カテゴリー
Linux/WSL ターミナルのプロンプトをかっこよくする！ | Oh My Posh
ターミナルのプロンプトはデフォルトではそっけない感じですよね。もちろんPS1変数をいじればいろいろできますが、手動で設定するのも大変です。そこで今回は Oh My Poshというツールを紹介します。 いろいろな設定ができますが、のちほど紹介...
Jenkins Jenkins で手動ビルドを禁止する書き方
Jenkins の運用にて、リリースフローで手動ビルドのリリースを禁止したいときは通常Jenkinsユーザーの権限を制限することで実現するかと思います。 通常はそれでOKですが、さらに念には念を入れて手動ビルドを禁止するために、Jenkin...
Linux/WSL WSL で Windowsネイティブな.exeを実行する
WSL は大変便利で大抵のことはその中で完結できますが、ときどき Windows側の .exe を使いたくなるときがあります。 例えばUSB接続したAndroid端末を制御するにはAndroid デバッグツール adb を使います。ですが...
Jenkins Jenkinsfile で sudo する方法
Jenkinsfile からなんかしらのコマンドを sudo で実行させたいときがあります。 そういうときに設定やJenkinsfileをどう書けばいいのか、数パターンあるのでそれをまとめてみます。 ユーザjenkinsの設定 まずはそもそ...
Jenkins Jenkins でジョブにファイルをアップロードするプラグイン
Jenkinsのジョブ実行時に、ジョブにファイルを渡すことができます。 デフォルトの機能なんですがうまく動作せず、プラグインを導入して解決できました。 ちょっとクセがあるのでその使い方を説明します。 デフォルトのファイルアップロード機能 デ...
Linux/WSL PetaLinux のイメージサイズ削減＆パーティションサイズ最大化
Xilinx の FPGA ボードではYocto Linux をベースにしたPetaLinuxが採用されています。このLinuxを使用するためにはRaspberry Piと同じようにSDカードにイメージを書き込んで、そのSDカードを基板に挿...
Linux/WSL OpenSSHをバージョンアップしたら ssh 接続できなくなったときの対策
ssh で接続するとき、別に .ssh/config や鍵は変更していないのに「Permission denied (publickey).」というエラーがでて途方に暮れることがあります。いろいろ理由は考えられますが、ここでは OpenSS...
git Proxy環境下でSSHでgit clone する
Proxyガ導入されている職場の場合、git clone できない場合があります。 HTTPS経由でよいなら下記の記事の設定で行けるようになるかと思います。 しかし ssh で cloneした場合はこれではできません。 今回は Proxy ...
git git bundle でリモートリポジトリを使わずにコミットを共有する
Git で複数人で開発するときは、通常はサーバにリモートリポジトリを用意して、 みんなでそこへ git push/ pull してコードを共有すると思います。 しかしたとえば他社のかたと共同開発する場合にセキュリティの問題や契約の問題で、 ...
Linux/WSL Windows10 WSL or Ubuntu で Selenium を使ってchromeを起動させる
ブラウザの自動化ツールといえば Seleniumですね。 Widowsネイティブで動かすほうがハードルが低いですが、 せっかくなので今回はWindows10 WSL で Seleniumを使って Chromeを起動させる方法を説明します。 ...