Les extensions installées pour agrémenter les fonctions natives de Safari permettent d’adapter et de personnaliser son usage en fonction des habitudes de navigation sur internet de chacun.

Seulement ces dernières peuvent évoluer au gré des années, rendant certaines d’entre elles totalement obsolètes.Leur suppression s’avère parfois compliquée lorsqu’elles font preuve de récalcitrance. Il existe heureusement deux méthodes permettant d’en venir à bout. La première invite l’utilisateur à se rendre dans les Préférences du navigateur afin d’y sélectionner l’onglet Extensions. Il liste l’ensemble des extensions installées. En choisissant l’une d’elles puis en validant par une pression sur le bouton Désinstaller, il met un terme définitif à sa présence.

Si cette méthode n’apporte pas le résultat escompté, une autre alternative consiste à transiter par le Finder afin d’y combiner les touches cmd + Shift + G. Ce raccourci clavier active l’affichage de la fenêtre Aller au dossier depuis laquelle il faut saisir ~/Library/Safari/Extensions/ dans le champ réservé à cet effet. Sélectionner l’extension frondeuse avant de procéder à un ctrl + clic de souris dessus. L’option Placer dans la corbeille s’affiche, qu’il faut bien évidemment sélectionner pour arriver à bout de l’extension.

Partager un commentaire