Contenu | Rechercher | Menus

Annonce

Ubuntu-fr.org recrute toujours de nouveaux modérateurs, avec de l'expérience.

Ubuntu 16.04 LTS
Commandez vos DVD et clés USB Ubuntu-fr !

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

#1 Le 23/04/2010, à 21: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, à 22: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, à 10:06

nesthib

Re : Wget -O (nom de sortie différent) mais conserver l'extension

Link_Octree a écrit :

[…]J'ai un petit script shell […] serait-il possible de […]

tu pourrais nous poster le script pour commencer ?


GUL Bordeaux : GirollServices libres : TdCT.org
Hide in your shell, scripts & astuces :  applications dans un tunnelsmart wgettrouver des pdfinstall. auto de paquetssauvegarde auto♥ awk
  ⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn

Hors ligne

#4 Le 24/04/2010, à 13: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, à 13: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, à 19:38

Link_Octree

Re : Wget -O (nom de sortie différent) mais conserver l'extension

AnsuzPeorth a écrit :

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