utilitaire de téléchargement WGET - Linux et OS Alternatifs
Marsh Posté le 04-12-2001 à 11:22:55
ça fonctionne trés bien -P
et pour le remplacement, ptêt qu'un .wgetrc qui fait du nettoyage dans l'arborescence serait pas mal...
Marsh Posté le 04-12-2001 à 11:41:51
tant que je te tiens minusplus, peux-tu me dire comment changer l'extension d'un ensemble de fichiers ?
genre passer tous les fichiers *.DAT en *.DAT.old ou *.old ?
parce que le mv *.DAT *.old marche pas
[edtdd]--Message édité par BenDk97--[/edtdd]
Marsh Posté le 04-12-2001 à 11:44:40
minusplus a écrit a écrit : for i in *.DAT; do mv $i $i.old; done |
merci mais j'ai trouvé ici même grace a la recherche
rename .DAT .DAT.old *.DAT
mais ton script a vue d'oeil doit marcher (mais je hais les scripts )
Marsh Posté le 04-12-2001 à 11:51:46
c pas un script, c une commande comme les autres à taper sur ta ligne de commande. l'avantage c que c'est plus souple que rename (je veux dire ça peut faire ce que tu veux, pas que des mv)
Marsh Posté le 04-12-2001 à 11:55:55
oui ok, enfin c'est du script shell, y a un for
t'aurais pas en "stock" un script qui me kille tous les processus ayant un nom bien déterminé (genre "netscape" au hasard)
Marsh Posté le 04-12-2001 à 12:04:18
ah !!! je savais pas que ca marchait ca. Sous un autre OS on devait utiliser des scripts avec des for et tout !
Marsh Posté le 04-12-2001 à 12:10:03
BenDk97 a écrit a écrit : ah !!! je savais pas que ca marchait ca. Sous un autre OS on devait utiliser des scripts avec des for et tout ! |
Si tu y tiens vraiment, une ligne plus rigolote (pour tuer netscape par exemple) :
kill `ps aux | grep netscape | grep -v grep | awk '{print $2}'`
Tiré du README Seti@home
[edtdd]--Message édité par Jak--[/edtdd]
Marsh Posté le 04-12-2001 à 11:10:42
Hello les pros des syntaxes des commandes, j'ai un petit problème avec wget.
J'ai besoin de télécharger des fichiers avec cet utilitaire et de placer les dits fichiers dans un répertoire précis, fixe et immuable. J'ai essayé l'option -P ou --directory-prefix comme le suggère le man, mais à tous les coups ca me télécharge les fichiers dans "." (donc là où est lancé le wget). Quelqu'un peut m'expliquer la syntaxe exacte pour faire ce que je veux faire
question subsidiaire: comment écraser des fichiers avec wget ? je veux dire qd je telecharge un fichier avec le meme nom d'un fichier qui existe deja (typiquement cas de mise a jour de fichiers telecharges), comment ecraser le fichier ancien ? actuellement ca me cree un nouveau fichier avec une extension *.1, *.2 ...etc
merci