Не соображу, как в bash превратить числовую строку в integer.
Нужно имена файлов
001 002 003
превратить в
002 004 006
(умножить на два)
ТО есть сделать нечто типа
for i in *
do echo "$i"; echo $i+$i
done
только операцию "+" сделать арифметической, а не текстовой.
Спасибо заранее за наводку.
--
Всего доброго,
А.Л.