I have a list of pixel values in a file, and need each to be half its current value. The pattern for the value is always
123px where 123 varies drastically.
How can I half each pixel value?
sed will be helpful.
I would suggest you use
If your input file
If you need more sophisticated math use