У меня есть список значений пикселей в файле, и каждый из них должен быть половина его текущего значения. Шаблон для значения всегда 123px
где 123 резко меняется.
Как я могу половину каждого значения пикселя?
Я предполагаю, что sed
будет полезен.