bash: ho rotto [[<]]

Stavo scrivendo uno script bash e improvvisamente questo comportamento è iniziato:

[[ 1 < 2 ]]; echo $?  # outputs 0
[[ 2 < 13 ]]; echo $? # outputs 1

ma -ltfunziona bene:

[[ 1 -lt 2 ]]; echo $?  # outputs 0
[[ 2 -lt 13 ]]; echo $? # outputs 0

ho sovrascritto accidentalmente in <qualche modo?

ecco uno script che ho scritto per testare questo comportamento:

#!/bin/bash

for a in {1..5}
do
    for b in {1..20}
    do
        [[ $a < $b ]] && echo $a $b
    done

    echo
done

ecco l'output:

1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14
1 15
1 16
1 17
1 18
1 19
1 20

2 3
2 4
2 5
2 6
2 7
2 8
2 9
2 20

3 4
3 5
3 6
3 7
3 8
3 9

4 5
4 6
4 7
4 8
4 9

5 6
5 7
5 8
5 9

la modifica <a -ltnello script fornisce un output normale ( 5 10visualizzato ad esempio).

Il riavvio non ha cambiato nulla.

La mia versione bash è GNU bash, versione 4.3.42 (1) -release (x86_64-pc-linux-gnu). Sono su Ubuntu 15.10. Non so quali altre informazioni siano rilevanti qui.

Dalla bashpagina man.

Se utilizzati con [[, gli operatori <e> ordinano lessicograficamente utilizzando le impostazioni internazionali correnti.

Dall'output, sembra funzionare come previsto.

Che ne dite di:

for a in {1..5}; 
do     
  for b in {1..20};     
  do         
    (( $a < $b )) && echo $a $b
  done      
  echo
done

Secondo http://www.tldp.org/LDP/abs/html/dblparens.html

Simile al comando let, il costrutto ((...)) consente l'espansione e la valutazione aritmetica. Nella sua forma più semplice, a = $ ((5 + 3)) imposterebbe a 5 + 3 o 8. Tuttavia, questo costrutto tra parentesi doppie è anche un meccanismo per consentire la manipolazione delle variabili in stile C in Bash, ad esempio , ((var ++)).

In primo luogo, [[ non è POSIX e dovrebbe essere evitato.

In secondo luogo, se si desidera utilizzare <come parte di un test aritmetico, è possibile farlo, ma con una sintassi diversa:

if [ $((2 < 13)) = 1 ]
then
  echo '2 is less than 13'
else
  echo '2 is greater or equal to 13'
fi

O:

if expr 2 '<' 13
then
  echo '2 is less than 13'
else
  echo '2 is greater or equal to 13'
fi