Desculpe, todo o seu espaço em HDD é contabilizado.
Em primeiro lugar , há o fator de conversão entre gigabytes denary (base-10) gigabytes (como usado por fabricantes de drives) e binários (base-2) (como usado por algumas ferramentas Linux). Um gigabyte binário (GiB) tem 2 ^ 30 bytes, enquanto um gigabyte denary (GB) é 10 ^ 9; o primeiro é maior em cerca de 7%. Em segundo lugar , há um pequeno espaço não alocado no LVM vg, e há as partições que não são sua raiz. Finalmente, , há a sobrecarga de 5% que mkfs reserva para raiz.
Vamos dar um passo a passo. Você acha que deveria ter 1000GB. Isso é 1000 * 10 ^ 9/2 ^ 30 = 931.3GiB, que é o tamanho honesto do seu /dev/sda .
Você perde 485 MiB para /dev/sda1 , a partição /boot . Então, isso deve deixá-lo com 931.3-485 / 2 * 10 = 930.83GiB. Isso é quase exatamente que pvs informa que você está no volume vg_web .
lvs , em seguida, informa que 930.9GiB estão alocados em três volumes lógicos ( lv_root , lv_home e lv_swap ). Há 13,3GiB de espaço não alocado, o qual voltaremos mais tarde.
Sua partição raiz, que é a que eu mais suspeito, já que é onde a maioria de seu espaço é, é um volume de 812GiB. Sistemas de arquivos possuem sobrecarga; isto é, estruturas que são o sistema de arquivos, não os dados armazenados nele, e ocupam espaço no disco. Eles incluem o superbloco, as cópias do superbloco, as entradas de bloco, etc., todos os metadados subjacentes ao sistema de arquivos. Este artigo tenta quantificar o tamanho dos metadados e diz que o ext2 usa cerca de 1.6% do espaço para overhead de FS (ele observa que ext3 / 4 são maiores, mas acrescenta que o overhead é inteiramente baixo para o tamanho do journal, que eu suspeito ser muito menos significativo em um FS de 1 TB; o artigo é escrito com base em um teste de 1GB FS). 812 menos 1.6% = 812 * 0.984 = 799.0GiB, que é quase exatamente o que df -h nos informa que temos na partição / . A partição /home também é afetada por isso.
Depois, há os famosos 5% reservados para o usuário root por padrão, e é por isso que o total das colunas disponíveis e usadas é 760GiB (713 + 47); 800 * 0,95 = 760. A partição /home também é afetada por isso.
O que você pode fazer sobre isso? Principalmente, nada. Os fabricantes de HDD continuarão a usar o denary GB porque faz com que suas unidades pareçam maiores; você precisa de uma partição swap; sistemas de arquivos têm sobrecarga; nenhum desses é negociável.
Você pode redefinir o FS raiz de modo que menos de 5% seja reservado; o comando tune2fs dirá a você como fazer isso; Eu não levaria abaixo de 1%, eu mesmo. E você pode expandir o volume vg_root para esse 13.3GiB não alocado; Existem inúmeros artigos dizendo-lhe como fazer isso, então não vou cobrir isso aqui. É um pouco faff, para 13GiB, mas você pode estar se sentindo sobrecarregado até agora.
Portanto, esperamos que você possa ver que todo o seu espaço em disco rígido é contabilizado.