比较bash中的两个十进制数字

Question

我需要在bash脚本中比较两个数字。 我收到整数错误。 还有其他可用的方法吗？

我们的版本的格式为YYYY.M或YYYY.MM。

因此，我需要比较一下2014.7（2014年7月）比2014.10（2014年10月）更早的版本。

 #!/bin/bash

 NEWVER="2014.10";                      # 2014.10
 CURVER=$(head -n 1 /release.ver);      # 2014.7

 if [ $NEWVER > $CURVER ]; then
   echo "this version is new";
 fi

Answer 1

复杂的是，七月的格式为2014.7而不是2014.07 。 因此，浮点算法将不起作用。 一种解决方案是分离年份和月份信息并分别进行比较：

NEWVER="2014.10"
CURVER=2014.7
IFS=. read major1 minor1 <<<"$NEWVER"
IFS=. read major2 minor2 <<<"$CURVER"
[[ $major1 -gt $major2 || ($major1 -eq $major2 && $minor1 -gt $minor2) ]] && echo newer

另类

另外，我们可以修复月份格式，然后进行浮点比较：

fix() { echo "$1" | sed 's/\.\([0-9]\)$/.0\1/'; }
NEWVER=$(fix "$NEWVER")
CURVER=$(fix "$CURVER")
(( $(echo "$NEWVER > $CURVER" | bc -l) )) && echo newer

Answer 2

我知道的唯一具有版本比较操作的标准实用程序是Gnu sort ，它使用选项-V版本比较实现为扩展。 （这并不意味着没有其他任何内容；只是我想不到任何其他内容）。 使用Gnu sort ，可以进行以下操作：

key=$CURVER$'\n'$NEWVER
if [[ $key = $(sort -V <<<"$key") ]]; then
  # NEWVER is newer or the same
else
  # NEWVER is older
fi