Deutsch English Français Italiano |
<ugaeg1$2v5se$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!2.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Thomas <fantome.forums.tDeContes@free.fr.invalid> Newsgroups: fr.comp.os.linux.configuration Subject: Re: minuteur Date: Fri, 13 Oct 2023 05:45:05 +0200 Organization: A noiseless patient Spider Lines: 45 Message-ID: <ugaeg1$2v5se$1@dont-email.me> References: <ueq29u$1fs81$1@dont-email.me> <uerjf5$1q1f$1@news.gegeweb.eu> <ug3jt3$15im3$1@dont-email.me> <ug3o0v$20ic$1@news.gegeweb.eu> <ug4cel$1bhpc$1@dont-email.me> <6526bdd3$0$2999$426a74cc@news.free.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 13 Oct 2023 03:45:05 -0000 (UTC) Injection-Info: dont-email.me; posting-host="1c6de318f8554ce3659e16cd862af888"; logging-data="3118990"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+w2L2Vp8Rg+AUYLRCq5NjRP1zWJ/pOHL0=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:1RX0+aJUvFGAhegZlsw+PcARaDw= Content-Language: fr-FR In-Reply-To: <6526bdd3$0$2999$426a74cc@news.free.fr> Bytes: 2678 Le 11/10/2023 à 17:22, David Larochette a écrit : > Le 10/10/2023 à 22:33, Thomas a écrit : >> Le 10/10/2023 à 16:44, jp willm a écrit : >>> Pour gnome, il y a cela : >>> >>> https://extensions.gnome.org/extension/5115/simple-timer/ >> Le pb c'est que quand je clique sur "Installer", ça me répond "aucune >> application disponible" >> >> Est-ce qu'il faut que j'installe qqch avant ? > De mémoire, il te faut un plugin d'intégration gnome dans ton > navigateur, peut-être gnome-browser-connector ? Merci :-) Je n'avais pas compris que je devais suivre l’encadré "Pour contrôler les extensions GNOME Shell avec ce site" parce que sinon le bouton "Installer" ne marcherais pas (un poil pas assez explicite). Vu la quantité de choses intéressantes qu'il y a l'air d'avoir, et surtout la quantité de choses non configurables a priori, c'est dommage qu'il n'y ait pas le nécessaire pour télécharger des extensions gnome directement installé par la distribution. Où s’adresser pour faire cette demande ? En attendant, après avoir cliqué sur "Cliquez ici pour installer l’extension du navigateur", exécuté "sudo apt install chrome-gnome-shell", et redémarré le système, il reste un encadré qui dit "An unexpected error occurred". Que dois-je faire ensuite pour résoudre le pb ? -- RAPID maintainer http://savannah.nongnu.org/projects/rapid/