时间比较问题

powing

我要比较一个时间
[[ $hours -le 12 && $minutes -le 60 ]]
输入的格式是hh:mm
当我的时间输入是08或者09的时候因为第一位是0，所以数字成了8进制的，提示这样的错误
[[: 08: value too great for base (error token is "08")
这要怎么处理才能正确比较？

ziyunfei

echo $((10#08+9))

jason680

我要比较一个时间
[[ $hours -le 12 && $minutes -le 60 ]]
输入的格式是hh:mm
当我的时间输入是08或者0 ...
powing 发表于 2011-03-11 11:50

# hour=08; if [[ "$hour" -le 12 ]]; then echo yes; else echo no; fi
-bash: [[: 08: value too great for base (error token is "08")
no

# hour=08; if [[ "10#$hour" -le 12 ]]; then echo yes; else echo no; fi
yes

seeLnd

把  -le  改成  <=

powing

谢谢各位

db2-zhang

回复 1# powing


    -le是比较数字的,shell 认为你输入的08为字符串，把-le改为<=