ファイル削除 ゴミ箱 ディスク空き容量 python raspberry pi
df -l #ディスク容量
8116388 → 9237560 #dfコマンドで空き容量表示 :0.8786, 1121172
9011138560 → 10160570368 #Pythonで空き容量表示 :0.8868, 1149431808（差）/1024=1122492

9237560 → 9658660 #Pythonでファイルを削除（ゴミ箱に入らないことを確認）
10160570368 → 10593128448 #Pythonでファイルを削除
※ ファイルマネジャーでファイルを削除してもゴミ箱に一旦入るためディスク空き容量は増えない（空き容量を増やすにはゴミ箱を空にする必要あり）。Pythonでファイルを削除するとゴミ箱に入らないためディスク空き容量は増える。