Copier une plage de fichiers en ligne de commande (ZSH/BASH)

Solution 1 :

Tu étais très proche. Votre question était presque la bonne syntaxe :

cp P10802{75..83}.JPG ~/Images

Solution 2 :

Pour itérer sur une plage dans bash :

for x in {0..10}; do echo $x; done

Appliquer la même chose dans votre cas :

for x in {272..283}; do cp P1080$x.JPG ~/Images; done

Solution 3 :

Zsh, avec l'option extendedglob a le globbing opérateur (correspondance de modèle).

setopt extendedglob
echo P10802<75-83>.JPG

correspondra aux noms de fichiers du répertoire actuel qui correspondent à ce modèle (attention, P1080275.JPG correspond, mais P108020000000075.JPG également)

À l'autre extrémité, l'opérateur d'expansion de chaîne {x...y} (pris en charge par zsh et les versions récentes de bash et ksh93), s'étend aux chaînes de x à y, quels que soient les fichiers présents dans le répertoire actuel.

cp P10802<75-83>.JPG ~there

copiera les fichiers correspondants, de même

cp P10802{75..83}.JPG ~there

Mais vous obtiendrez des erreurs si, par exemple, P1080281.JPG n'existe pas.