コマンドの実行にかかった時間とか出してるけどnerdfontとかで追加されるアイコンが必要になることはない
OIRNOIR/WackyWebM: This is a simple tool to allow you to create WebM files with changing aspect ratios.
https://github.com/OIRNOIR/WackyWebM
nguiのマークアップをmarkタグに書き換えるガバガバhtml変換+dangerouslySetInnerHTMLをした結果、閉じタグのない要素があふれるかなと思ったが記述コンテンツだからか勝手に閉じタグ付けられてなんとかなってた
cat urls.txt | xargs -L1 -P5 -l curl -o /dev/null -w '%{http_code}\n' -s > out.log
対応するURLわからんけど全部200になったからとりあえずOK