I wrote this, using an awk command I found:
RUNS=10 CUR=1 PREFIX=" 1/10 ($((${CUR} * 100 / ${RUNS}))%)" echo "" | awk \'{printf("%\'+`exp