Il y a quelques semaines, Fabien nous expliquait son choix de passer de Safari à Google Chrome comme navigateur par défaut, non sans avoir longuement hésité. Or début juin, soit à peine quelques jours après cet article, Apple présentait une nouvelle version de Safari, la cinquième.

Je ne vais pas (re)lancer un débat de navigateurs, chacun ayant des fonctionnalités et comportements que l'on aime ou non. Je me suis moi-même posé plusieurs fois les mêmes questions que Fabien, appréciant Safari mais hésitant à me lancer sur Chrome, tout en n'oubliant pas Firefox même si je n'ai jamais été vraiment convaincu par ce dernier. L'article du jour ne porte donc pas sur une comparaison de butineurs, mais plutôt sur une nouvelle fonctionnalité apparue avec Safari 5: la gestion native des extensions.

Nombreux sont celles et ceux qui attendaient une telle gestion sur Safari, manque qui d'ailleurs poussait plusieurs personnes à adopter un navigateur différent. Fabien le disait d'ailleurs très bien:

À la différence de Safari, les extensions de Chrome semblent être beaucoup plus stables et beaucoup moins "hack". C'est tout simplement parce que Chrome est conçu pour accepter de telles extensions, alors que Safari nécessite de ruser et de contourner les limites logicielles.

Bien qu'ayant toujours utilisé Safari, malgré justement quelques manques, je n'ai toutefois jamais trop aimé installer des plug-ins tels que Glims, pour ne citer que lui: alors que j'aurais aimé une simple fonctionnalité de plus (une extension, le terme est bien choisi), il me fallait installer tout un tas de choses que je jugeais inutiles. Qui plus est, pouvant rendre Safari parfois instable, notamment après une mise à jour du logiciel. Bref, ce n'était pas vraiment ce que je voulais.

Les extensions sont un moyen simple et efficace d'améliorer la navigation et le navigateur lui-même. Depuis juin, les développeurs peuvent donc ajouter facilement des fonctionnalités à Safari grâce à un outil dédié nommé Extension Builder. La conception elle-même de ces extensions est réalisée grâce aux technologies standard du Web et n'a donc rien de nouveau.

Gestion des extensions

Si Safari 5 est donc disponible depuis peu au téléchargement, il n'en est rien des extensions.  Ou disons qu'il faut chercher un peu… En effet, la Galerie Extensions Safari d'Apple, qui devrait permettre de trouver et installer facilement une extension, n'ouvrira que cet été. Cela dit, plusieurs extensions existent déjà et il est tout à fait possible de les installer: le plus dur reste de les trouver. Certains sites comme Safari Extensions ou Pimp My Safari vous permettent de faire vos choix et de les télécharger.

Avant de pouvoir en profiter, il faut tout d'abord activer les extensions dans Safari. Pour cela, cochez tout d'abord l'option "Afficher le menu Développement dans la barre des menus" dans l'onglet "Avancé" des préférences de Safari. Sélectionnez ensuite "Activer les extensions" dans le menu Développement nouvellement apparu dans la barre des menus. Si vous ne connaissiez pas ce menu, vous remarquez qu'il offre toutes sortes d'outils afin d'analyser et améliorer un site Web.

Si vous retournez jeter un oeil à la fenêtre des préférences, vous devriez noter la présence d'un nouvel onglet dédié aux extensions.

Pour installer une extension, double-cliquez simplement sur le fichier téléchargé; après avoir confirmé l'installation de la nouvelle extension, celle-ci apparaîtra dans la liste. Pour être complet, sachez que les fichiers d'extension (au format safariextz) se trouvent dans le dossier maison/Bibliothèque/Safari (ou autrement dit ~/Library/Safari/, si vous préférez).

La gestion des extensions n'a rien de compliqué: il vous est possible de les activer ou désactiver, de les mettre à jour ou de les désinstaller. L'option de mises à jour vous permet de mettre à jour automatiquement toutes vos extensions. Certaines extensions offrent également différents réglages possibles, accessibles au bas de cette même fenêtre.

Conclusion

L'air de rien, Safari prend une nouvelle dimension grâce à la gestion native des extensions et permet désormais à tout un chacun d'ajuster au mieux le navigateur selon ses besoins. J'utilise par exemple AdBlock afin de filtrer les pubs, FlashToHTML5 pour utiliser par défaut le player HTML5 sur YouTube en lieu et place du traditionnel player Flash, ainsi que NoMoreiTunes qui évite qu'iTunes soit lancé automatiquement lors de la visualisation d'un aperçu Web d'un élément (chanson, album,…) iTunes.

Tout n'est pas encore parfait, mais gageons qu'Apple corrige les quelques petits problèmes d'ici l'ouverture officielle de sa galerie d'extensions.

Et je dois bien avouer que depuis Safari 5, je n'ai plus réellement de doutes quant à mon navigateur par défaut…