我有这个标准input：
read -p "Server-Number: " servernumber 服务器号码从01到99重要的是，号码有一个零（01,02,03，…，10,11，…，99）如何编辑variables，如果号码是只有1而不是01？
对不起，我的英语不好;）我希望你能理解我的问题。
servernumber=`printf %02d $servernumber`
只有Bash，没有其他进程：
servernumber=0$servernumber # add leading 0 servernumber=${servernumber: -2} # take last 2 characters
写一个if条件来检查的值
echo $servernumber | nawk '/0/{print NR}' == 1