[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: options de wget



On Sat, 22 Oct 2022 12:01:06 +0200
"\"jdd@dodin.org\"" (via linux-31 Mailing List) <linux-31@culte.org> wrote:

> si j'utilise wget pour télécharger un fichier déjà présent sur le 
> disque, au lieu de le remplacer il renomme *le nouveau fichier*.
> 
> je sais que je peux lui demander de renommer *l'ancien fichier* avec 
> l'option --backups, mais je sais faire mes sauvegardes moi-même et je 
> préférerais écraser simplement l'ancien par le nouveau (comme cp)
> 
> je ne sais pas trouver comment.
> 
> j'ai des solutions de contournement, mais compliquées (télécharger dans 
> un autre répertoire, puis utiliser cp, par exemple)


j'ai l'impression que tu pourrais trouver cela dans la section qui démarre à l'option
"-O file" dans le man de wget. 

Cela dit ne serait-ce pas plus simple de faire "rm fichier" avant de relancer ton wget ?



-- 
Orditux Informatique
https://orditux.org
https://orditux.org/aol/
https://orditux.org/floss