Arch Linux を使用しています。
コマンドを実行するとdf -T、次のようになります。
Filesystem Type 1K-blocks Used Available Use% Mounted on
/dev/sda3 ext4 930449240 750685092 132430124 86% /home
ご覧のとおり、「Use%」列の数値は86を表示していますが、 82.95echo $(awk "BEGIN {printf \"%.3f\n\", 771793804 * 100 / 930449240}")を取得しています。
数字の違いの原因は何だと思いますか?また、どちらがより信頼できるものですか?