bash脚本 printf 格式化输出数字