有没有一种简单的方法可以用 printf, awk, sed 分隔每千个非常大的数字？
所以 10000000000000 变成 10 000 000 000 000
谢谢
shell sed awk bc printf
awk ×1
bc ×1
printf ×1
sed ×1
shell ×1