Sujet : Re: minuteur
De : david (at) *nospam* larochette.me (David Larochette)
Groupes : fr.comp.os.linux.configurationDate : 11. Oct 2023, 17:22:59
Autres entêtes
Organisation : Guest of ProXad - France
Message-ID : <6526bdd3$0$2999$426a74cc@news.free.fr>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
Le 10/10/2023 à 22:33, Thomas a écrit :
Le 10/10/2023 à 16:44, jp willm a écrit :
Le 10/10/2023 à 15:34, Thomas a écrit :
>
>
J'ai un Ubuntu simple, il me semble que c'est gnome ...
>
>
Pour gnome, il y a cela :
>
https://extensions.gnome.org/extension/5115/simple-timer/
Merci bcp, celui-ci a l'air très bien.
(J’espère juste qu'on peut accéder aux durées précédemment utilisées pour alterner entre 2 durées, mais à mon niveau il faut que je le teste pour savoir.)
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 ?
Ou bien est-ce que mes connaissances ne sont pas à jour, et ce n'est plus gnome qui sert de coquille pour l'interface graphique dans Ubuntu 22 ??
De mémoire, il te faut un plugin d'intégration gnome dans ton navigateur, peut-être gnome-browser-connector ?
minuteur
Re: minuteur