J'essaie de comparer la variable $ duration à un int, pour voir combien de temps il dure. J'ai besoin de deturmine combien de 0 ajouter au nom de fichier pour maintenir des noms propres, par exemple.Comparaison de la variable à Ints avec if/fi dans le script BASH
cap_000001.png
cap_002938.png
Ma déclaration actuelle est:
if [ $duration < 1000 ]; then
sudo ./v2u cap_000$duration.png
echo 1000 seconds
fi
if [ $duration < 100 ]; then
sudo ./v2u cap_0000$duration.png
echo 100 seconds
fi
if [ $duration < 10 ]; then
sudo ./v2u cap_00000$duration.png
echo 10 seconds
fi
Merci de votre aide!
Si quelqu'un a une solution plus simple pour nommer les fichiers avec un nombre constant de chiffres, ce serait génial!
Convenir que c'est une solution beaucoup plus supérieure. +1 J'ai aussi écrit une réponse directe à la question du PO, ainsi qu'une version complète de votre approche. J'espère que ça ne vous dérangera pas. :-) –