¿如何用bash迭代西班牙的PostalCodes？

Question

我正在尝试迭代一系列数字，西班牙的邮政编码是从01001到52080，我有以下代码。

#!/bin/bash
for (( c=01001; c<=52080; c++ ))
do  
    echo "$c"
done

但我遇到了问题，当数字长度为4时，我需要添加0。

我该怎么做？

{
      "countryName" : "Spain" ,
      "numPostalCodes" : 37866 ,
      "countryCode" : "ES" ,
      "maxPostalCode" : "52080" ,
      "minPostalCode" : "01001"
    } 

问候！

Answer 1

只需使用printf代替echo：

printf "%05d\n" "$c"