df-h показывает неправильный вывод в ГБ

df всегда округляет читаемый вывод (-h и -H).

из исходного кода в пакете coreutils,lib/human.h, перечисление вариантов human_readable функция обеспечивая округлять, преобразовывать блока, etc.:

/* Options for human_readable.  */
enum
{
  /* Unless otherwise specified these options may be ORed together.  */

  /* The following three options are mutually exclusive.  */
  /* Round to plus infinity (default).  */
  human_ceiling = 0,
  /* Round to nearest, ties to even.  */
  human_round_to_nearest = 1,
  /* Round to minus infinity.  */
  human_floor = 2,
...

обратите внимание на комментарий: Round to plus infinity (default).

фактическое округление, вероятно, происходит в следующей функции в human.c, который добавляет true (т. е. 1), если не установлен никакой другой параметр округления, показанный выше, -h только human_autoscale | human_SI | human_base_1024, что приводит к автоматическому масштабированию с использованием 1024 в качестве единицы приращения и печати суффикса стиля SI, т. е. G) и значение не является целым числом:

static long double
adjust_value (int inexact_style, long double value)
{
  /* Do not use the floorl or ceill functions, as that would mean
     checking for their presence and possibly linking with the
     standard math library, which is a porting pain.  So leave the
     value alone if it is too large to easily round.  */
  if (inexact_style != human_round_to_nearest && value < UINTMAX_MAX)
    {
      uintmax_t u = value;
      value = u + (inexact_style == human_ceiling && u != value);
    }

  return value;
}

обычно это связано с неэффективностью системы форматирования. Например, файл может быть только 12.2 g (на котором вы правы), но на физическом диске он может занять до 13gb пространства. Это связано с "блокировка" и является результатом фрагментации.

Википедия: Это приводит к неэффективности пространства из-за внутренней фрагментации, так как длины файлов часто не являются целочисленными кратными размеру блока, и, таким образом, последний блок файлов остается частично пустым. это создаст свободное пространство, которое составляет в среднем половину блока на файл. некоторые новые файловые системы пытаются решить это с помощью техники под названием Block suballocation и хвост слияния.

Edit:

в MAN-странице говорит, что это:

размер может быть (или может быть целым числом, за которым необязательно следует) одним из fol- lowing: kB 1000, K 1024, MB 1000 * 1000, M 1024*1024, и так далее для G, T, P, E, Z, Y.

Это заставляет меня полагать, что он может использовать MB вместо M, так что это покажет 12.796 - округление до 13, возможно.