Exportation des raccourcis

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

Étape 2: Cliquer sur les 3 points verticaux a droite, au niveau du titre "Favoris", un menu apparait:

Étape 3: Dans le menu, cliquer sur "Exporter les favoris", 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 Chrome, entrez la combinaison de touches: CTRL+SHIT+O, la première fenêtre apparait, cliquer sur les 3 points verticaux a droite, au niveau du titre "Favoris"

Étape 2: Dans le menu cliquer sur "Importer des favoris", la troisième fenêtre apparait

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

XX_XX_XXXX représente la date de la précédente exportation, ex: 09_11_2023