名もなき未知

エンジニアリングとか、日常とかそういうのをまとめる場所。

便利ツール

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…