Как изменить (не добавлять) числовую переменную?
Разделы / dev / sda4 и т. Д. Не монтируются. Поскольку они не смонтированы, df сообщает размер файловой системы, в которой находятся сами специальные файлы / dev / sda4 и т. Д .; это небольшая файловая система, основанная на памяти, смонтированная на / dev . Используйте sudo file -s / dev / sda4 и т. Д., Чтобы узнать, какие файловые системы, если таковые имеются, присутствуют на этих разделах. Смонтируйте их где-нибудь, если вы хотите использовать df , чтобы узнать, сколько места используется или доступно.
Пример:
$ df /dev/sdb1 # /dev/sdb1 is not currently mounted
Filesystem 1K-blocks Used Available Use% Mounted on
udev 234040 0 234040 0% /dev
$ sudo mount /dev/sdb1 /mnt
$ df /dev/sdb1 # Now it is mounted and df can show used and free space
Filesystem 1K-blocks Used Available Use% Mounted on
/dev/sdb1 60787696 498464 60289232 1% /mnt
Это так же просто, как a = 0 "$ a" , которое предшествует содержанию $ a с '0'.
Вы можете рассматривать a как строку , поэтому добавление к нему «0» будет работать:
a="0$a"
Вы также можете отформатировать a как строку с определенным количеством цифр. Например, при двухзначном форматировании к числам 0 - 9 будет добавлен начальный ноль, а к числам 10 - 99 нет. :
a=$(printf "%02d" $a)
Имейте в виду, что при сложении чисел с ведущими нулями вы получите восьмеричную арифметику, а не десятичную. Например, это, вероятно, не приведет к тому, что вы ожидали:
a=08
echo $(( a + 1 ))