Comment supprimer une extension sur Safari ?

10 avril 2020 à 16h30
0
Tuto Safari

Bien qu'Apple ait (radicalement) fait le tri parmi les extensions, il arrive qu'une d'entre elles ralentisse Safari ou entrave votre navigation. Si c'est le cas, ce tutoriel vous explique comment gérer les extensions Safari en les désinstallant en quelques clics, en passant par les préférences de Safari ou par le Launchpad.

Désinstaller une extension via les préférences de Safari

  1. Cliquez sur le menu Safari > Préférences pour ouvrir le menu des paramètres (ou appuyez simultanément sur les touches Cmd + , (virgule) .
    tutoriel safari

  2. Cliquez sur l'onglet Extensions.
    tutoriel safari

  3. Cliquez sur l'extension que vous voulez désinstaller.
    tutoriel safari

  4. Cliquez sur Désinstaller.
    tutoriel safari

  5. Cliquez sur Afficher dans le Finder.
    tutoriel safari

  6. Faites un clic droit sur l'extension à désinstaller.
    tutoriel safari

  7. Cliquez sur Placer dans la corbeille.
    tutoriel safari

  8. Si cette fenêtre s'affiche, entrez votre mot de passe macOS (vous devez avoir les droits d'administrateur). La suppression sera exécutée juste après.
    tutoriel safari


Désinstaller une extension via le Launchpad

Depuis Safari 12, les extensions sont des applications Mac à part entière. Elles peuvent donc être désinstallées directement depuis le Launchpad, comme n'importe quel programme installé via l'App Store.

  1. Appuyez sur la touche F4 pour lancer le Launchpad.
    tutoriel safari

  2. Cliquez et maintenez appuyé sur une appli jusqu'à ce que toutes les icônes tremblent et qu'une petite croix apparaisse sur les extensions.
    tutoriel safari

  3. Cliquez sur la croix de l'extension à supprimer.
    tutoriel safari

  4. Confirmez en cliquant sur Supprimer.
    tutoriel safari

Certaines extensions tournent en tâche de fond et ne peuvent être supprimées lorsque Safari est ouvert. Il est donc recommandé de fermer le navigateur web avant de procéder à la suppression.

Retrouvez d'autres tutoriels pour mieux gérer vos extensions Google Chrome :
Modifié le 10/04/2020 à 17h36
0
0
Partager l'article :

Les actualités récentes les plus commentées

Freebox Pop: retrouvez toutes les annonces présentées ce mardi !
L’ONU tire le signal d’alarme sur la production massive de batteries de voitures électriques
La 5G, une technologie pour
Emmanuel Macron débarque sur... TikTok, pour féliciter les lauréats du bac 2020
Tesla continue de faire dans la pseudo-disruption et commercialise désormais des shorts...
5G : à Singapour, Ericsson et Nokia sont préférés à Huawei, encore...
YouTube : préparez-vous à voir davantage de publicités
Les États-Unis songent à interdire TikTok
NVIDIA : les spécifications des RTX 3070 et 3070 Ti en fuite, la RTX 2080 SUPER battue ?

Notre charte communautaire

  • 1. Participez aux discussions
  • 2. Partagez vos connaissances
  • 3. Échangez vos idées
  • 4. Faites preuve de tolérance
  • 5. Restez courtois
  • 6. Publiez des messages utiles
  • 7. Soignez votre écriture
  • 8. Respectez le cadre légal
  • 9. Ne faites pas de promotion
  • 10. Ne plagiez pas
  • Consultez la charte
scroll top