AWK с одним знаком после запятой

Вместо этого вы можете использовать printf "cal =%.1f\n", used, так как он имеет управление модификатором типа печати и область.

.1fозначает, что выводить только 1 десятичный знак после запятой, вы можете изменить его на любое число, которое вы хотите в десятичных разрядах.

Вы можете указать awk, какое преобразование с плавающей запятой -использовать, установив CONVFMT, по умолчанию %.6g, например.:

cat sample | awk -v CONVFMT='%.1f' '
/HDD Total/ { hdd_total = $NF }
/HDD Used/  { hdd_used  = $NF }
END {
  used=hdd_total-hdd_used
  print "cal = " used
}'

Выход:

cal = 40.9