Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#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

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, à 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

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

Haut de page ↑