Exportation des raccourcis

Étape 1: Dans Firefox, entrez la combinaison de touches: CTRL+SHIT+O, cette fenêtre apparait:

Étape 2: Cliquer sur "Importation et sauvegarde"

Étape 3: Dans le menu, cliquer sur "Exporter des marque-mages...", cette fenêtre apparait:

Étape 4: Sélectionner votre répertoire personnel sur le serveur administratif/pédagogique, puis cliquer sur "Enregistrer"

Importation des raccourcis

Étape 1: Dans Firefox, entrez la combinaison de touches: CTRL+SHIT+O, la première fenêtre apparait, cliquer sur "Importation et sauvegarde"

Étape 2: Dans le menu cliquer sur "Importer des marque-mages...", la seconde fenêtre apparait

Étape 3: Sélectionner votre répertoire personnel sur le serveur administratif/pédagogique puis cliquer sur le fichier "bookmarks.html"