Il y a le merveilleux Greasemonkey pour exécuter des JavaScript définis par l'utilisateur sur des pages Web.
Existe-t-il une version de Greasemonkey pour Safari ? Ou faut-il plutôt écrire une extension Safari pour personnaliser le comportement d'autres pages Web ? Peut-être existe-t-il une alternative qui fonctionne avec AppleScript au lieu de JavaScript ?
Une autre option pour exécuter GreaseMonkey scripts est NinjaKit (c'est ce que j'utilise). Il s'agit d'une extension de Safari 5, ce qui signifie qu'elle est juste un peu plus sûre que GreaseKit.
Cela semble être une bonne chose, mais je ne trouve aucune documentation - et le seul script que j'ai essayé n'a pas fonctionné (il fonctionne dans Greasemonkey/Firefox ; c'est Facebook Autopoke).
@d'ombre - oui, l'auteur est japonais, donc la documentation en anglais est minimale. Il y a un un peu ici qui pourrait vous aider. En ce qui concerne les scripts individuels, la plupart fonctionnent, mais certains ne fonctionnent pas. Pour FB, Unfriend Finder fonctionne pour moi, donc c'est peut-être juste un problème d'Autopoke.
J'utilise TamperMonkey et ça marche étonnamment bien. Il s'agit également d'une extension Safari.
J'ai essayé d'utiliser NinjaKit dans le passé mais cela ne fonctionne plus pour moi, beaucoup de scripts ne fonctionnent tout simplement pas.
Existe-t-il une version de Greasemonkey pour Safari ?
Vous pouvez utiliser SIMBL y GreaseKit pour exécuter la plupart des scripts de Greasemonkey dans Safari, sans modification. Des instructions d'installation détaillées se trouvent à ce lien répété ici :
~/Library/Application Support/SIMBL/Plugins . Vous devrez peut-être créer cet emplacement s'il n'existe pas déjà.Ou faut-il plutôt écrire une extension Safari pour personnaliser le comportement d'autres pages Web ? Peut-être existe-t-il une alternative qui fonctionne avec AppleScript au lieu de JavaScript ?
L'équivalent de Greasemonkey dans Safari est constitué par les extensions et les plugins AppleScript. Vous trouverez une belle bibliothèque d'extensions natives pour Safari dans le site suivant Pimp My Safari .
Avez-vous essayé NinjaKit (suggestion de @Dori) ? Il semble être basé sur S5, donc un cadre plus récent.
Le meilleur endroit pour commencer est probablement ici : http://developer.apple.com/devcenter/safari/index.action
J'ai vu des extensions de Safari dont la seule fonction était de personnaliser le comportement des sites Web ; hier encore, j'en ai vu une qui modifiait la mise en page de Reddit pour qu'elle soit plus adaptée à iOS.
Si vous ne voulez pas payer 2 $ pour une Singe-Tamper Vous pouvez essayer Userscripts qui est gratuit.
Les Userscripts sont plus simples, vous devrez ajouter vos scripts en utilisant l'option page d'extension au lieu de les installer à partir de Fourchette grasse automatiquement, par exemple. Mais sinon, il fait aussi bien le travail de personnalisation CSS et JS. Voir la page documentation des Userscripts pour plus d'informations.
Sachez que vous ne pourrez pas installer d'extensions qui modifient les périphériques d'entrée dans les versions récentes d'OSX. Après l'installation à partir de l'App Store, vous devrez les activer dans la section mode sans échec - après avoir redémarré en maintenant la touche Shift vers le bas. Voir un article chez Apple à ce sujet.
LesApples est une communauté de Apple où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres utilisateurs d'appareils Apple, poser vos propres questions ou résoudre celles des autres.
