変数の形式が数値であり、expect スクリプト内で先頭にゼロを付けて少なくとも 10 桁の長さであることを確認しようとしています。
bash スクリプトでは、次のようになります。
[[ "$var" != +([0-9]) ]] && echo "bad input" && exit
while [[ $(echo -n ${var} | wc -c) -lt 10 ]] ; do var="0${var}" ; done
次の入力の場合:
16
私は次の出力を達成しようとしています:
0000000016