Salut,
Le site des extensions pour Gnome 3 est en ligne (version alpha) :
https://extensions.gnome.org
Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
L'installation via le site n'est possible que pour les navigateurs ayant
le plugin Gnome 3 :
https://extensions.gnome.org/about/#old-version
Salut,
Le site des extensions pour Gnome 3 est en ligne (version alpha) :
https://extensions.gnome.org
Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
L'installation via le site n'est possible que pour les navigateurs ayant
le plugin Gnome 3 :
https://extensions.gnome.org/about/#old-version
Salut,
Le site des extensions pour Gnome 3 est en ligne (version alpha) :
https://extensions.gnome.org
Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
L'installation via le site n'est possible que pour les navigateurs ayant
le plugin Gnome 3 :
https://extensions.gnome.org/about/#old-version
Le vendredi 02 décembre 2011 à 18:59 +0100, Erwan David a écrit :On 02/12/11 18:57, Frédéric Massot wrote:Salut,
Le site des extensions pour Gnome 3 est en ligne (version alpha) :
https://extensions.gnome.org
Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
L'installation via le site n'est possible que pour les navigateurs ayant
le plugin Gnome 3 :
https://extensions.gnome.org/about/#old-version
HEIN ?
Faut un plugin dans le browser pour installer une extension à gnome ?
C'est vraiment du n'importe quoi !
Doucement,
Pour installer via le site et via un navigateur, il faut une extension.
Tu peux toujours installer autrement (en copiant ton extension dans le
bon dossier et peut-être avec gnome-tweak-tool, s'il le permet déjà).
Le vendredi 02 décembre 2011 à 18:59 +0100, Erwan David a écrit :
On 02/12/11 18:57, Frédéric Massot wrote:
Salut,
Le site des extensions pour Gnome 3 est en ligne (version alpha) :
https://extensions.gnome.org
Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
L'installation via le site n'est possible que pour les navigateurs ayant
le plugin Gnome 3 :
https://extensions.gnome.org/about/#old-version
HEIN ?
Faut un plugin dans le browser pour installer une extension à gnome ?
C'est vraiment du n'importe quoi !
Doucement,
Pour installer via le site et via un navigateur, il faut une extension.
Tu peux toujours installer autrement (en copiant ton extension dans le
bon dossier et peut-être avec gnome-tweak-tool, s'il le permet déjà).
Le vendredi 02 décembre 2011 à 18:59 +0100, Erwan David a écrit :On 02/12/11 18:57, Frédéric Massot wrote:Salut,
Le site des extensions pour Gnome 3 est en ligne (version alpha) :
https://extensions.gnome.org
Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
L'installation via le site n'est possible que pour les navigateurs ayant
le plugin Gnome 3 :
https://extensions.gnome.org/about/#old-version
HEIN ?
Faut un plugin dans le browser pour installer une extension à gnome ?
C'est vraiment du n'importe quoi !
Doucement,
Pour installer via le site et via un navigateur, il faut une extension.
Tu peux toujours installer autrement (en copiant ton extension dans le
bon dossier et peut-être avec gnome-tweak-tool, s'il le permet déjà).
On 02/12/11 18:57, Frédéric Massot wrote:
> Salut,
>
> Le site des extensions pour Gnome 3 est en ligne (version alpha) :
>
> https://extensions.gnome.org
>
> Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
>
> L'installation via le site n'est possible que pour les navigateurs ayant
> le plugin Gnome 3 :
>
> https://extensions.gnome.org/about/#old-version
>
>
HEIN ?
Faut un plugin dans le browser pour installer une extension à gnome ?
C'est vraiment du n'importe quoi !
On 02/12/11 18:57, Frédéric Massot wrote:
> Salut,
>
> Le site des extensions pour Gnome 3 est en ligne (version alpha) :
>
> https://extensions.gnome.org
>
> Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
>
> L'installation via le site n'est possible que pour les navigateurs ayant
> le plugin Gnome 3 :
>
> https://extensions.gnome.org/about/#old-version
>
>
HEIN ?
Faut un plugin dans le browser pour installer une extension à gnome ?
C'est vraiment du n'importe quoi !
On 02/12/11 18:57, Frédéric Massot wrote:
> Salut,
>
> Le site des extensions pour Gnome 3 est en ligne (version alpha) :
>
> https://extensions.gnome.org
>
> Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
>
> L'installation via le site n'est possible que pour les navigateurs ayant
> le plugin Gnome 3 :
>
> https://extensions.gnome.org/about/#old-version
>
>
HEIN ?
Faut un plugin dans le browser pour installer une extension à gnome ?
C'est vraiment du n'importe quoi !
On 02/12/11 19:32, jour wrote:
> Le vendredi 02 décembre 2011 à 18:59 +0100, Erwan David a écrit :
>> On 02/12/11 18:57, Frédéric Massot wrote:
>>> Salut,
>>>
>>> Le site des extensions pour Gnome 3 est en ligne (version alpha) :
>>>
>>> https://extensions.gnome.org
>>>
>>> Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
>>>
>>> L'installation via le site n'est possible que pour les navigateurs ayant
>>> le plugin Gnome 3 :
>>>
>>> https://extensions.gnome.org/about/#old-version
>>>
>>>
>> HEIN ?
>>
>> Faut un plugin dans le browser pour installer une extension à gnome ?
>>
>> C'est vraiment du n'importe quoi !
>>
>
> Doucement,
>
> Pour installer via le site et via un navigateur, il faut une extension.
> Tu peux toujours installer autrement (en copiant ton extension dans le
> bon dossier et peut-être avec gnome-tweak-tool, s'il le permet déjà).
>
"peut-être"...
On 02/12/11 19:32, jour wrote:
> Le vendredi 02 décembre 2011 à 18:59 +0100, Erwan David a écrit :
>> On 02/12/11 18:57, Frédéric Massot wrote:
>>> Salut,
>>>
>>> Le site des extensions pour Gnome 3 est en ligne (version alpha) :
>>>
>>> https://extensions.gnome.org
>>>
>>> Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
>>>
>>> L'installation via le site n'est possible que pour les navigateurs ayant
>>> le plugin Gnome 3 :
>>>
>>> https://extensions.gnome.org/about/#old-version
>>>
>>>
>> HEIN ?
>>
>> Faut un plugin dans le browser pour installer une extension à gnome ?
>>
>> C'est vraiment du n'importe quoi !
>>
>
> Doucement,
>
> Pour installer via le site et via un navigateur, il faut une extension.
> Tu peux toujours installer autrement (en copiant ton extension dans le
> bon dossier et peut-être avec gnome-tweak-tool, s'il le permet déjà).
>
"peut-être"...
On 02/12/11 19:32, jour wrote:
> Le vendredi 02 décembre 2011 à 18:59 +0100, Erwan David a écrit :
>> On 02/12/11 18:57, Frédéric Massot wrote:
>>> Salut,
>>>
>>> Le site des extensions pour Gnome 3 est en ligne (version alpha) :
>>>
>>> https://extensions.gnome.org
>>>
>>> Les extensions ne sont disponibles que pour Gnome 3.2 et supérieur.
>>>
>>> L'installation via le site n'est possible que pour les navigateurs ayant
>>> le plugin Gnome 3 :
>>>
>>> https://extensions.gnome.org/about/#old-version
>>>
>>>
>> HEIN ?
>>
>> Faut un plugin dans le browser pour installer une extension à gnome ?
>>
>> C'est vraiment du n'importe quoi !
>>
>
> Doucement,
>
> Pour installer via le site et via un navigateur, il faut une extension.
> Tu peux toujours installer autrement (en copiant ton extension dans le
> bon dossier et peut-être avec gnome-tweak-tool, s'il le permet déjà).
>
"peut-être"...
Écoute, je ne sais pas comment gnome-tweak-tool fonctionne, mais de
toutes façons il n'est pas indispensable d'avoir un plugin dans un
navigateur pour installer des extensions à gnome-shell. D'ailleurs y
a un paquet gnome-shell-extensions dans experimental. J'ose espérer
que si vous utilisez debian, installer un paquet vous conviendra et
que vous rejetterez pas la faute sur gnome 3.
Vous vous êtes tous plains que gnome 3 vous empêchais de faire ce
que vous voulez de votre environnement. Dès qu'une fonction n'était
pas implémenté, vous interprétiez ça comme une volonté dictatoriale
d'empêcher les utilisateurs d'avoir le contrôle sur leur
environnement.
Il a toujours été possible d'installer des extensions à gnome-shell.
Évidemment, il faut du temps pour les développer. Venir se plaindre
parce que des mecs essayent de développer une manière d'accéder aux
extensions via un navigateur, c'est franchement n'importe quoi.
Écoute, je ne sais pas comment gnome-tweak-tool fonctionne, mais de
toutes façons il n'est pas indispensable d'avoir un plugin dans un
navigateur pour installer des extensions à gnome-shell. D'ailleurs y
a un paquet gnome-shell-extensions dans experimental. J'ose espérer
que si vous utilisez debian, installer un paquet vous conviendra et
que vous rejetterez pas la faute sur gnome 3.
Vous vous êtes tous plains que gnome 3 vous empêchais de faire ce
que vous voulez de votre environnement. Dès qu'une fonction n'était
pas implémenté, vous interprétiez ça comme une volonté dictatoriale
d'empêcher les utilisateurs d'avoir le contrôle sur leur
environnement.
Il a toujours été possible d'installer des extensions à gnome-shell.
Évidemment, il faut du temps pour les développer. Venir se plaindre
parce que des mecs essayent de développer une manière d'accéder aux
extensions via un navigateur, c'est franchement n'importe quoi.
Écoute, je ne sais pas comment gnome-tweak-tool fonctionne, mais de
toutes façons il n'est pas indispensable d'avoir un plugin dans un
navigateur pour installer des extensions à gnome-shell. D'ailleurs y
a un paquet gnome-shell-extensions dans experimental. J'ose espérer
que si vous utilisez debian, installer un paquet vous conviendra et
que vous rejetterez pas la faute sur gnome 3.
Vous vous êtes tous plains que gnome 3 vous empêchais de faire ce
que vous voulez de votre environnement. Dès qu'une fonction n'était
pas implémenté, vous interprétiez ça comme une volonté dictatoriale
d'empêcher les utilisateurs d'avoir le contrôle sur leur
environnement.
Il a toujours été possible d'installer des extensions à gnome-shell.
Évidemment, il faut du temps pour les développer. Venir se plaindre
parce que des mecs essayent de développer une manière d'accéder aux
extensions via un navigateur, c'est franchement n'importe quoi.