Division de base utilisant une variable et un entier ?

J'ai du mal à comprendre une commande de division de base.

count = redis-cli llen domains;
echo $count renvoie 1000

Comment puis-je faire écho à $count/1000 ?

J'ai essayé différentes combinaisons de :

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

Quelqu'un pourrait-il m'aider à créer cette commande et expliquer comment elle doit être configurée ?

Réponse acceptée :

Vous vous rapprochiez…

Voir le Wiki Wooledge sur l'expression arithmétique. Dans votre exemple, vous utiliseriez :

echo $(( count / 1000 ))

Notez que vous n'avez pas besoin du $ avant la variable à l'intérieur de (( )) comme $ l'extérieur effectue le remplacement. (( )) sans le premier $ est une fonctionnalité Bash uniquement. $(( )) la substitution est autorisée dans le shell POSIX.