とある処理でディスクの使用量がどのように変化するかを記録する必要が出てきたので、Bash on Windows でワンライナーでやってみることにします。 まずはディスク使用量といえば df コマンド。Bash on Windows で実行すると、こうなります。 $ df Filesystem…