Small fixes in the wget article

This commit is contained in:
2022-07-26 10:24:43 +02:00
parent 37cf2ad7b7
commit a701bb221a
2 changed files with 10 additions and 10 deletions

View File

@ -13,7 +13,7 @@ Lang: fr
`wget` est un outil qui permet le téléchargement de manière non interactive de
contenu sur des sites via FTP/HTTP(s), etc.
Dans son utilisation la plus basique, il permet de télécharger du contenu en
tapant simplement `wget ${url}` dans son émulateur de terminal favoris.
tapant simplement `wget ${url}` dans son émulateur de terminal favori.
Cependant, en parcourant sa [documentation](https://www.gnu.org/software/wget/manual/wget.html) permet de se rendre compte de sa puissance.
@ -76,7 +76,7 @@ web. Pour ce faire, la commande longe est:
wget --mirror --no-host-directories --convert-links --adjust-extension --page-requisites --no-parent <url>
```
Le nom des potions est assez claire, et la version courte serait: `wget -mkEp -np <url>`
Le nom des options est assez claire, et la version courte serait: `wget -mkEp -np <url>`
### Ignorer `robots.txt`