Tools
JSON をパース（集計／整形など）するときに，よく使われているのは「jq」だと思う．僕も jq をよく使っている（構文は毎回調べるけど）．今回は jq 以外の選択肢となる「JMESPath」の理解を深めることにした．JMESPath も JSON をパースできるクエリ言語（…
最近 GitHub リポジトリに「バッジ」を設定するため「Shields.io」というサービスを使った．README.md をオシャレにできて，とても便利だったので紹介しようと思う．ただ数年前からあったサービスらしく，今まで使ったことがなかった！ shields.io バッジの…
普段ネットが遅いなぁーと感じるときなど，今までは適当にスピードテストツールを検索して使っていたけど，毎回探すのも面倒だし，ブラウザを起動するのも面倒だし，もっと簡単に確認したいなと思っていた． www.musen-lan.com speedtest-cli speedtest-cli …
