As bash is not able to handle floats the best way is to convert a float number (which is represented as a string, for example an output with awk) into an integer. To do this [1,2]: float=1.23 int=${float%.*} Refs: [1] Stackexchange.com/Unix & Linux [2] Linuxquestions.org

Postscript files (.ps) are usual and in many cases some manipulation is needed. [for more see also here] Convert from a ps to pdf file: $ ps2pdf input_file.ps output_file.ps Merge 2 or more files: $ psmerge -ooutput_file.ps input_file_1.ps input_file_2.ps [more_files] note: that -o and output_file’s name are not separated by any space Put more pages […]