Script firefox

nasr bouafif.nasreddine at gmail.com
Lun 29 Juin 23:27:06 UTC 2009


Salut,
Je ne sais pas si tu as résolu ton problème, en tout cas voilà une
proposition.
Il existe une extension sous firefox très intéressante qui est
Greasemonkey [ http://www.greasespot.net/ ] [plus d'infos : wikipedia,
googling]
Il existe des tutorials intéressants sur le web dont le "Dive into
Greasemonkey", des fonctinnalités très intéressantes sont disponible en
téléchargment aussi...
Le plus intéressant avec cette extension est la possibilité de
développer ses propres scripts qui agiront sur les pages que
l'utilisateur visite sous firefox.

Pour le développement d'un script greaseMonkey pour l'implémentation de
la fonctionnalité dont tu as bessoin, voici ce "proof of concept" :

// @name           port80redirector
// @description    Redirect to port 80
// @namespace      __url__
// @include        __url__
// ==/UserScript==
var current_location = document.location.href;
var params = current_location.split("/");

if(GM_getValue(params[2], 0) == 0) {
    GM_setValue(params[2], 1);
    document.location.href  = params[0]+"//"+params[2]+":80";
} else {
    /* init key */
    GM_setValue(params[2], 0);
}

bien sur, ceci n'est qu'un proof of concept (qui fonctionne bien
d'ailleurs pour la fonctionnalité que t'as décrit) qui nécessite
surement plus de raffinement, et prise en compte des différents cas
particuliers (Re-écriture de l'URL complet et non pas seulement la base
de l'url (regexp), éviter les collisions entre deux sessions parallèles...).

NASR

Kharrat Mohamed a écrit :
> Salutation
> 
> Merci Wasim mais ce logiciel n'a pas pu m'aider
> 
> 2009/6/25 Wassim Derguech <dfsa.derwas at gmail.com
> <mailto:dfsa.derwas at gmail.com>>
> 
>     Est ce que ceci peut t aider??
> 
>     https://addons.mozilla.org/da/firefox/addon/3863
> 
> 
>     Amicalement,
>     Wassim
> 
>     Le 25 juin 2009 19:56, Kharrat Mohamed <kharrat.mohamed at gmail.com
>     <mailto:kharrat.mohamed at gmail.com>> a écrit :
> 
>         Salut tous le monde,
> 
>         SVP, je veux crée un plug in Firefox qui ajoute :80 après chaque
>         .com.
>         Donc qui peut me fournir des documentations sur ce truc
> 
>         Merci d'avance
>          
>         Kharrat Mohamed - netBoss
> 
>         E-mail : kharrat.mohamed at gmail.com
>         <mailto:kharrat.mohamed at gmail.com>
>         Linux user : #486181 Ubuntu user : # 27119
>         Tel : +216 21 462 998 - Fix : +216 74 261 694
> 
>         --
>         Ubuntu-tn mailing list
>         Ubuntu-tn at lists.ubuntu.com <mailto:Ubuntu-tn at lists.ubuntu.com>
>         Modify settings or unsubscribe at:
>         https://lists.ubuntu.com/mailman/listinfo/ubuntu-tn
> 
> 
> 
> 
>     -- 
>     Derguech Wassim -DERWAS-
> 
>     dfsa.tuxfamily.org <http://dfsa.tuxfamily.org>
>     www.dfsa.org.tn <http://www.dfsa.org.tn>
>     dfsa.freehostia.com <http://dfsa.freehostia.com>
>     www.sfdtunisia.org <http://www.sfdtunisia.org>
> 
>     GSM: (+353) 879406596
> 
>     --
>     Ubuntu-tn mailing list
>     Ubuntu-tn at lists.ubuntu.com <mailto:Ubuntu-tn at lists.ubuntu.com>
>     Modify settings or unsubscribe at:
>     https://lists.ubuntu.com/mailman/listinfo/ubuntu-tn
> 
> 
> 
> 
> -- 
> Kharrat Mohamed - netBoss
> E-mail : kharrat.mohamed at gmail.com <mailto:kharrat.mohamed at gmail.com>
> Linux user : #486181 Ubuntu user : # 27119
> Tel : +216 21 462 998 - Fix : +216 74 261 694
> 





Plus d'informations sur la liste de diffusion Ubuntu-tn