Path: ...!news.mixmin.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Thomas Newsgroups: fr.comp.os.linux.configuration Subject: Re: minuteur Date: Tue, 10 Oct 2023 15:34:27 +0200 Organization: A noiseless patient Spider Lines: 22 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 10 Oct 2023 13:34:27 -0000 (UTC) Injection-Info: dont-email.me; posting-host="06f7b92e66ff36f3415772859cbae10e"; logging-data="1231555"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+XtjhPGxs/igMP9dOB0jf1IENJyVMiHTQ=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:uPNoQFnWrvb+nj4u5EJL2vUXRw8= In-Reply-To: Content-Language: en-US, fr-FR Bytes: 1532 Le 25/09/2023 à 11:21, jp willm a écrit : > Le 24/09/2023 à 21:22, Thomas a écrit : >> est-ce que qqn connaît de bons minuteurs ? >> > Pour XFCE : xfce4-timer-plugin. > Pour KDE : ktimer > > etc. > J'ai un Ubuntu simple, il me semble que c'est gnome ... Lequel correspond, et où le trouve-t-on ? dans la logithèque ? Désolé à tous, je n'ai pas le réflexe de preciser à chaque fois quelle est ma config. -- RAPID maintainer http://savannah.nongnu.org/projects/rapid/