23/12/2013

Configurer le navigateur

Le téléchargement de fichier

Télécharger un fichier signifie en faire une copie depuis le serveur où il est stocké vers son disque dur local. 

Lorsque vous naviguez sur Internet à l’aide d’un navigateur, vous accédez à des pages web affichées dans la fenêtre de navigation; en fait votre navigateur a téléchargé les fichiers (.htm ou .html) de ces pages automatiquement sur votre machine. Par exemple actuellement : le fichier Exo1.html (voyez la barre d'adresse du navigateur).

Lorsque vous souhaitez ouvrir un fichier distant avec une autre application que votre navigateur (par exemple, parce que le navigateur ne reconnaît pas le format de fichier), il vous faut d'abord le télécharger. Cela se complique un peu : en effet, suivant le navigateur que vous utilisez et suivant sa configuration, la procédure n’est pas toujours exactement la même :

• le navigateur peut enregistrer tous les fichiers dans un dossier précis,
• le navigateur peut vous proposer d’ouvrir directement le fichier avec une application donnée,
• le navigateur peut même parfois ouvrir directement le fichier (avec un "plugin")
• ...

Réglages

• dans Safari : Safari > Préférences> Général> Enregistrer les fichiers téléchargés sur
• dans Firefox : Firefox > Préférences> Général > Téléchargements

Généralement, pour télécharger, si vous avez une souris à 2 boutons, une solution est de faire clic-droit sur le fichier. Vous obtenez un menu contextuel dans lequel vous choisissez :

• avec Safari : Télécharger le fichier lié
• avec Firefox : Enregistrer la cible du lien sous ...

Remarque : le navigateur enregistre la liste de vos téléchargements; il est utile de savoir effacer cette liste...

Plugins

Un "plugin" est un programme qui donne des possibilités supplémentaires à votre navigateur ; vous trouverez la liste des plugins installés dans :

• firefox>outils>modules
• safari>préférences>extensions