Esta questão é realmente sobre a interpretação da saída do comando df , que é famoso por ser confuso e, se você usa o Google para isso, verá muitas perguntas sobre o df .
" Tamanho " é df, os resultados são INCLUSIVOS do espaço reservado de 5% que a @chronitis lhe falou. Este é o espaço total ABSOLUTO . Esse número aproximará o tamanho mostrado nos resultados do fdisk -l para a partição que você está visualizando nos resultados do df .
" Used " + " Avail " fornece o espaço EFICAZ total e EXCLUI o espaço reservado de 5%. Este é o espaço com o qual você pode trabalhar.
Portanto, nada está " ausente " - a disparidade entre os totais " Size " e (" Used " + " Avail ") na saída df representa o espaço reservado de 5%
Mas a confusão sobre a interpretação do espaço disponível para o df não termina aí! Se você excluir um arquivo grande, mas o processo não tiver sido finalizado, esse espaço "livre" não será refletido nos resultados do df . Você estará coçando a cabeça pensando " Mas eu apaguei esse (s) arquivo (s), por que não consigo ver o espaço adicional em df ?!? " É por isso que, quando você reinicia, o espaço do arquivo excluído "magicamente" aparece agora nos resultados df .
sudo lsof + L1 identificará os arquivos excluídos ainda mostrando um pid.
O HTH esclarece algumas confusões sobre a interpretação da saída df . - Terrence