bash无法识别两位数

日本电信

我有一个像这样的脚本:

#!/bin/bash
let sleepCount=0
while [[ $sleepCount < 15 ]]; do
    let sleepCount++
    sleep 1
    echo $sleepCount
done

我希望它给出一个1到15的序列。但是,它给出1和2后退出了。我把15改为5,然后得到1到5。所以,看起来bash不能识别两位数,并且仅采用前导数字。那么,我该如何实现我的初衷?

顺便说一句,这是bash的一些版本信息:

bash --version GNU bash, version 4.1.2(1)-release
(x86_64-redhat-linux-gnu)
nu11p01n73R

-lt代替<

#!/bin/bash
    let sleepCount=0
    while [[ $sleepCount -lt 15 ]]; do
        let sleepCount++
        sleep 1
        echo $sleepCount
    done

lt检查,如果$sleepCount小于 15

编辑:

<执行字符串比较。为了清楚起见,请考虑以下命令

$[[ 0 < 15 ]]
$ echo $?
0
$ [[ 1 < 15 ]]
$ echo $?
0
$ [[ 2 < 15 ]]
$ echo $?
1
$ [[ 3 < 15 ]]
$ echo $?
1
$ [[ 4 < 15 ]]
$ echo $?
1
$ [[ 44 < 15 ]]
$ echo $?
1
$ [[ 44 < 5 ]]
$ echo $?
0
$ [[ "a" < "b" ]]
$ echo $?
0
$ [[ "b" < "a" ]]
$ echo $?
1

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

两位数的时差

来自分类Dev

JS计算器无法计算两位数

来自分类Dev

解析两位数的日期

来自分类Dev

AngularJS orderyby两位数字

来自分类Dev

用两位数字索引

来自分类Dev

每两位数字交换

来自分类Dev

逗号后两位数

来自分类Dev

如果数字相等,大于两位数或小于两位数怎么写条件

来自分类Dev

将x位数转换为两位数

来自分类Dev

如何从Java中的整数计算两位数的位数?

来自分类Dev

为什么此代码无法获得两位数的月份数字?

来自分类Dev

SQL中的两位数日期格式

来自分类Dev

比较两位数的优雅解决方案

来自分类Dev

用Java显示当年的最后两位数字

来自分类Dev

如何从URL php混合两位数字

来自分类Dev

如何使用jQuery获取最后两位数字

来自分类Dev

在十进制后打印两位数字

来自分类Dev

如何在PostgreSQL中点后显示两位数?

来自分类Dev

使用php删除一两位数字的行

来自分类Dev

正则表达式为两位数

来自分类Dev

Ruby错误地解析了两位数的年份

来自分类Dev

SimpleDateFormat中的两位数年份

来自分类Dev

在NASM(Linux)中添加两位数字

来自分类Dev

输入精度为两位数的浮点数

来自分类Dev

如何使分钟数变两位数?

来自分类Dev

PHP用两位数的年份转换日期

来自分类Dev

在散点图中用两位数表示的图

来自分类Dev

如何从数字中获得前两位数字?

来自分类Dev

将数字格式化为两位数