Améliorer et personnaliser le Top Sites de Safari 4 par Jérémie

Pour ceux qui n'aiment pas manipuler les fichiers de préférences, une version plus simple de ce tutoriel existe désormais, et en vidéo en plus

De temps en temps, je me repose, et ce sont alors des invités qui viennent poster ici. Après Eric la dernière fois, voici le tour de l'ami Jérémie, pour un tutoriel plutôt expert.

La présentation de Safari 4 présente un atout quʼil nʼest plus nécessaire de présenter... Parmi toutes les avancées présentes figure Top Sites, une page présentant les sites les plus visités, basée sur lʼhistorique de votre surf. Le problème du système tel qu'Apple le propose, c'est que si vous pouvez enlever des sites de Top Sites, vous ne pouvez pas en ajouter manuellement, ou éditer les adresses retenues. Et toute suppression est en fait un bannissement : un site supprimé de Top Sites ne pourra plus jamais y figurer.

Safari fonctionne avec des fichiers de préférences (comme une majorité de logiciels utilisant les librairies de Cocoa [1]), qui ont, en général, lʼextension .plist . Il est donc possible, en théorie, de les éditer.

Le fichier qui contient les informations présentent dans la pages TopSites se nomme TopSites.plist et se trouve dans la Bibliothèque de lʼutilisateur (/home/votrenomdutilisateur/Bibliothèque/Safari). Il est impossible dʼéditer ce fichier avec un simple éditeur de texte. Apple propose aux développeurs une version shareware de PlistEdit Pro, qui permet justement d'éditer ce fichier. Vous pouvez télécharger librement cette application sur le site d'Apple.

Une fois l’application installée, fermez Safari s’il est ouvert, puis ouvrez votre fichier TopSites.plist (il est toujours préférable de travailler en conservant une copie originale).

Vous devriez avoir une fenêtre de cette forme (remarquez le message au bas de la fenêtre ou éditeur) :

Comme vous pouvez le lire, il est nécessaire de préciser le type de fichier que vous venez d’ouvrir. Allez dans Operations, puis dans Change Formats, sélectionnez XML. PlistEdit reconnaît maintenant chaque objet.

Vous pouvez voir deux grandes Propriétés dans la Property List : BannedURLStrings et TopSites. Comme son nom l’indique, la première section concerne les sites que vous avez retiré en éditant la page dans Safari et la seconde ceux qui sont présents.

Il suffit de dupliquer une entrée dans la section TopSites pour ajouter un site, la seule contrainte (je précise parce que j’ai cherché un moment) étant de contrôler que le site que vous ajoutez dans TopSites ne se trouve pas dans BannedURLStrings, sinon ça ne fonctionnera pas...

Sauvegardez vos modifications, et vous devriez voir apparaître vos sites (réellement) favoris dans Top Sites...