2022-01-19 1/16(日) dockerのvolumeを綺麗に消すくんが欲しくて作ってた。ついでに前作ったファイル検索も合わせた。割と気に入ったので、今度Docker用のutility欲しくなったらこれに追加して行こう。