Bash: перейти от целого числа к числу с плавающей точкой

Question

Я перебираю диапазон чисел, но хотел бы перейти от целого числа к числу с плавающей запятой с одним десятичным знаком (например, от 5 до 5,0), как показано в цикле ниже.

for coul in 5 6 7; do

    mkdir cc_${coul}                                      # <-- here, ${coul} 
                                                          # should be an integer

    ... some code ... 

    sed -i '15s/.*/variable coul equal '${coul}'/' cc.in  # <-- here, ${coul}
                                                          # must be a decimal 
                                                          # (e.g. 5.0)
done

Answer 1

Вы можете написать:

"${coul}.0" 

Скобки не нужны в оболочке Posix или в bash, поскольку . не является допустимым символом идентификатора, но они могут быть необходимы в других оболочках.Они, конечно, не болят.

Answer 2

Используйте другую переменную;Что касается bash, то это просто строки, которые можно рассматривать как числа в правильном контексте.

coul_f=$coul.0
sed -i '15s/.*/variable coul equal '"$coul_f"'/' cc.in