bash 脚本中区分 2 和 02

Question

我有一个 bash 脚本，它将日期、月份和年份作为单独的参数。使用它，构造一个 url，然后使用 wget 获取内容并将其存储在 html 文件中（例如 t.html）。现在，用户可以输入 2 位数的月份/日期（如 02 而不是 2，反之亦然）。如何区分上述两种格式并在脚本中纠正这一点？

该网址的工作原理如下：
日期：需要输入 2 位数字。因此，必须将 7 作为 07 提供，才能正确构建 url。在这里，我正在寻找一种检查，如果日期小于 10 并且前面没有零，则会在日期后附加一个零。因此，在构造 url 之前，日期字段的 7 应变为 07。
月份：需要输入 2 位数字，但这里如果月份 则 url 会自动附加 0。 10. 因此，如果用户输入 2，则 url 形成 02，但如果用户输入 02，则 url 形成 002。这里，可能需要附加或删除 0。

PS：我知道这个方法后面跟着 url s*c&s，但我只需要使用它。

谢谢，
斯里拉姆

Answer 1

有点不清楚你要求什么。如果您只想去掉一个前导零，那么可以这样做：

month=${month#0}

这会将 02 变成 2，而 12 仍然是 12。

如果您需要删除多个零（上面的 002 将变成 02），您需要执行不同的操作，例如使用正则表达式

while [ -z "${month##0*}" ]; do month=${month#0}; done

或使用正则表达式，就像 sed

month=$(sed -e 's/^0*//'<<<"$month")

HTH

编辑
根据您的编辑；正如已经建议的那样，使用 printf

month=$(printf %02d "$month")

这会将 2 变成 02，12 保持原样，就像那样123。如果您想强制输入两位数，或者您没有 printf （这是 bash 中内置的 shell，通常也可用其他方式，所以机会非常低），sed 可以再次提供帮助，

month=$(sed -e 's/.*\(..\)$/\1/'<<<"00$month")

它会在前面添加两个零 (002) 并保留最后两个字符 (02)，将空字符串转换为 00< /代码>也是如此。不过，这也会将 a 变成 0a。想想看，您不需要 sed

month="00$month"
month="${month:0-2}"

（需要 0- 来消除默认值扩展的歧义）

Answer 2

只需使用printf即可。

例如 $(printf "%02d" $day) 添加前导零以防大小写。
和 $(printf "%1d" $month) 去除零以防大小写。

Answer 3

要去除所有前导零，无论数字多少，也无论最终数字的数量（例如修复“010”）：

shopt -s extglob
month=009
month=${month##+(0)}
echo "$month"

演示：

$ for a in 2 02 002 0002 20 020 00200; do echo ${a##+(0)}; done
2
2
2
2
20
20
200

修复任何日期：

shopt -s extglob
fixdigits () {
    if (( ${#1} > 2 || ${#1} < 1 ))
    then
        echo "Invalid number of digits"
        return 1
    fi
    printf '%.2d\n' 0${1##+(0)}
}

演示：

$ for a in 2 02 002 0002 20 020 00200; do fixdigits $a; done
02
02
Invalid number of digits
Invalid number of digits
02
Invalid number of digits
Invalid number of digits

或者：

shopt -s extglob
fixdigits () {
    digits=${1##+(0)}
    if (( ${#digits} > 2 || ${#digits} < 1 ))
    then
        echo "Invalid number of digits"
        return 1
    fi
    printf '%.2s\n' 0$digits
}

演示：

$ for a in 2 02 002 0002 20 020 00200; do fixdigits $a; done
02
02
02
02
02
02
Invalid number of digits