名もなき未知

エンジニアリングとか、日常とかそういうのをまとめる場所。アクセス解析のためGAを利用、Googleに情報を送信しています。商品紹介のためAmazonアフィリエイトを利用、Amazonに情報を送信しています。記事に関しては私が書いていない引用文を除いて自由にご利用ください。

便利ツール

powerlevel10kを入れた

私個人は 6年ほど zshを使っていますが、 sindresorhus/pure: Pretty, minimal and fast ZSH prompt みたいな表示や自作もそろそろきつくなってきたので、いい感じのやつを探しに行くことにしました。 調べていたら Powerlevel9k があったのですが(これは…

CodeCovを使ってみた

ただのやってみた系記事です。 要約 CodeCovに登録する pythonを使っているなら、 pytest-cov 入れてカバレッジの結果ファイル出すようにする GitHub Actions でカバレッジを CodeCov に出すようにする 背景 画像を jpg, png -> WebP に変換する Command Lin…