Re: minuteur

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/