Grundlegende Division mit Variable und Ganzzahl?

Ich habe Probleme, einen einfachen Divisionsbefehl herauszufinden.

count = redis-cli llen domains;
echo $count gibt 1000 zurück

Wie kann ich $count/1000 echoen? ?

Ich habe verschiedene Kombinationen ausprobiert von:

echo `expr $count / 1000`;
echo $count/1000;
echo ($count / 1000);

Könnte mir jemand bei der Erstellung dieses Befehls helfen und erklären, wie er eingerichtet werden sollte?

Akzeptierte Antwort:

Du kamst näher…

Siehe das Wooledge-Wiki zu arithmetischen Ausdrücken. In Ihrem Beispiel würden Sie Folgendes verwenden:

echo $(( count / 1000 ))

Beachten Sie, dass Sie den $ nicht benötigen vor der Variablen innerhalb (( )) als $ außen führt die Substitution durch. (( )) ohne das führende $ ist eine reine Bash-Funktion. $(( )) Substitution ist in der POSIX-Shell erlaubt.