如何用JQ补数字？

我想向数字中的字符串添加前导/尾随零 - 结果字符串需要包含“01”或“001”而不是“1”。我注意到项目https://github.com/joelpurra/jq-zeros但我从包管理器（dnf、fedora）安装了 jq，所以需要一些jqnpm对我来说不可行（乍一看），更不用说我对 npm 的恐惧了sudo npm -g已经毁了我的系统好几次了。

问题：

1. 这些 jq 的包管理器，它们是否正在被主流接受？
2. 填充本身——如果没有这个额外的库怎么办？

您可以在过滤器的开头定义这些函数或将其添加到您的过滤器中~/.jq文件，然后用它来填充数字。

def pad_left($len; $chr):
    (tostring | length) as $l
    | "\($chr * ([$len - $l, 0] | max) // "")\(.)"
    ;
def pad_left($len):
    pad_left($len; " ")
    ;

然后用它来填充你的值三个0s:

pad_left(3; "0")