Sujet : Re: minuteur
De : fantome.forums.tDeContes (at) *nospam* free.fr.invalid (Thomas)
Groupes : fr.comp.os.linux.configurationDate : 10. Oct 2023, 21:33:25
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ug4cel$1bhpc$1@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
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 ??
-- RAPID maintainerhttp://savannah.nongnu.org/projects/rapid/
minuteur
Re: minuteur