WGET Télécharger un site entier
Bilow
Messages postés
1014
Date d'inscription
Statut
Membre
Dernière intervention
-
zipe31 Messages postés 36402 Date d'inscription Statut Contributeur Dernière intervention -
zipe31 Messages postés 36402 Date d'inscription Statut Contributeur Dernière intervention -
Bonjour !
Je vais passer quelques jours sans connection Internet, et pendant ce temps il me faudrait la documentation du site php.net ;
Il faut donc que j'utilise un terminal, et que j'entre correctement la commande WGET, afin de télécharger le site entier, dans un dossier de mon disque dur externe.
En regardant dans le manuel, c'est le paramètre -r qu'il faut utiliser. Quelle est la commande toute entière qu'il faut utiliser pour aspirer le site entier, et que les pages (en HTML donc) s'enregistrent sur mon disque dur ?
wget -r https://www.php.net/
Cette commande est-elle correcte ? Et comment spécifier l'emplacement de mon disque dur ?
Merci !
Je vais passer quelques jours sans connection Internet, et pendant ce temps il me faudrait la documentation du site php.net ;
Il faut donc que j'utilise un terminal, et que j'entre correctement la commande WGET, afin de télécharger le site entier, dans un dossier de mon disque dur externe.
En regardant dans le manuel, c'est le paramètre -r qu'il faut utiliser. Quelle est la commande toute entière qu'il faut utiliser pour aspirer le site entier, et que les pages (en HTML donc) s'enregistrent sur mon disque dur ?
wget -r https://www.php.net/
Cette commande est-elle correcte ? Et comment spécifier l'emplacement de mon disque dur ?
Merci !
A voir également:
- WGET Télécharger un site entier
- Site de telechargement - Accueil - Outils
- Télécharger clavier arabe - Télécharger - Divers Web & Internet
- Site comme coco - Accueil - Réseaux sociaux
- Quel site remplace coco - Accueil - Réseaux sociaux
- Telecharger word 2013 - Télécharger - Traitement de texte
2 réponses
Salut,
Après une rapide consultation du "man wget" j'opterai pour :
Après une rapide consultation du "man wget" j'opterai pour :
wget -m -k -K -E -P/rep/destination http://php.net
Salut
Celle-ci est plus appropiée :
wget - r -k "nom_de_ton_site"
variante :
wget - r -k "nom_de_tom_site" /home/toto/mon_rep_qui_va_bien
Si tu veux le mettre dans un dossier précis donc (sinon c'est dans ton home)
A bientôt
Celle-ci est plus appropiée :
wget - r -k "nom_de_ton_site"
variante :
wget - r -k "nom_de_tom_site" /home/toto/mon_rep_qui_va_bien
Si tu veux le mettre dans un dossier précis donc (sinon c'est dans ton home)
A bientôt
Salut,
Extrait du man wget :
;-))
Extrait du man wget :
Options de répertoires
[...]
-P prefixe
--directory-prefix=prefixe
Positionne le préfixe pour les répertoires à prefixe. Le répertoire prefixe est le répertoire où tous les autres fichiers seront sauvegardés, c-a-d le sommet
de l'arbre de téléchargement. Par défaut c'est . (le répertoire courant).
;-))