「10#N」の意味

ジミーが書いた:

この場合、一時ディレクトリを使用することもできます。

for file in [[:digit:]]*.png; do
    echo mv $file tmp/$(printf %04d $((10#${file%.png}+1))).png
done

重要なのは、bashがこれをjustと10#N解釈するように強制することです。それ以外の場合、先行ゼロは8進数を表します。000NN

10#N算術拡張の一部ですか、それとも別のものですか？

これは Bash マニュアルまたは POSIX 仕様に記載されていますか？見つかりません。