linux - 检查和修改期望脚本中变量的格式

Question

我正在尝试验证一个变量的格式是一个数字，并且在 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

Answer 1

检查变量是否只有数字的最简单方法是使用正则表达式。 Expect 的正则表达式完全可以胜任这项任务:

if {![regexp {^\d+$} $var]} {
    puts "bad input"
    exit
}

用零填充最好通过格式化值来完成；如果你知道 C 的 printf()，你就会认出格式:

set var [format "%010d" $var]