#1 Le 23/04/2010, à 20:21
- Link_Octree
Wget -O (nom de sortie différent) mais conserver l'extension
Salut,
J'ai un petit script shell qui télécharge des fichiers, et j'aimerai pouvoir écrire chaque fichier traité par wget sous un nom de sortie différent.
Ex: Je télécharge ubuntu.iso, j'aimerai le renommer en ubuntu_actuelle.iso
Wget sait faire çà, dans le mesure où il peut renommer le fichier en sortie grâce à l'argument -O.
Toutefois, ce procédé me fait perdre l'extension du fichier :s
J'ai pas trouvé grand chose de concluant, mais serait-il possible de renommer tout en conservant l'extension ?
Ou bien une fois le fichier téléchargé, obtenir son extension (qui ne figure pas dans son nom) et renommer le même fichier avec son extension dans le nom.
Voilà voilà, merci d'avance !
Hors ligne
#2 Le 23/04/2010, à 21:33
- twocats
Re : Wget -O (nom de sortie différent) mais conserver l'extension
Toutefois, ce procédé me fait perdre l'extension du fichier :s
Gné ???
wget http://machin/ubuntu.iso -O ubuntu_actuelle.iso
Où tu perds l'extension ?
La réponse est 42
Hors ligne
#3 Le 24/04/2010, à 09:06
- nesthib
Re : Wget -O (nom de sortie différent) mais conserver l'extension
[…]J'ai un petit script shell […] serait-il possible de […]
tu pourrais nous poster le script pour commencer ?
GUL Bordeaux : Giroll – Services libres : TdCT.org
Hide in your shell, scripts & astuces : applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn
Hors ligne
#4 Le 24/04/2010, à 12:24
- Link_Octree
Re : Wget -O (nom de sortie différent) mais conserver l'extension
La partie intéréssante du script:
DL1ST=`head -n1 downloadlist.txt`
wget $DL1ST
downloadlist.txt contient une liste d'une dizaine de fichiers à télécharger, avec des extensions différentes.
Hors ligne
#5 Le 24/04/2010, à 12:33
- AnsuzPeorth
Re : Wget -O (nom de sortie différent) mais conserver l'extension
Bjr,
Récupère l'extension alors :
DLIST='ftp://mon_fichier.iso'
ext=${DLIST##*.}
wget $DLIST -O nom_de_sortie.$ext
Interface graphique pour bash, python ou autre: glade2script
Support Tchat: http://chat.jabberfr.org/muckl_int/inde … ade2script (Hors ligne)
Hors ligne
#6 Le 24/04/2010, à 18:38
- Link_Octree
Re : Wget -O (nom de sortie différent) mais conserver l'extension
Bjr,
Récupère l'extension alors :DLIST='ftp://mon_fichier.iso' ext=${DLIST##*.} wget $DLIST -O nom_de_sortie.$ext
Merci bien, c'est parfait.
Je viens de tester, çà m'a fait économiser pas mal de lignes de codes ^^
Hors ligne