Re: recherche solution pour un compte à rebours

[Yves Rutschle]

On Sun, Jun 20, 2021 at 09:50:51PM +0200, Bernard Schoenacker wrote:
> désolé pour le coup, c'est trop fort par rapport à mes besoins ...
> 
> Je recherche un minuteur décrémental pour me donner le compte à 
> rebours d'un temps de cuisson ...

Alors un simple:

for i in `seq 120 -1 0`; do echo $i; sleep 1; done

pour compter, par exemple, 120 secondes.

C'est pas "exact", car ça va exécuter 120 fois sleep 1, et
donc les temps d'exécution du script autour de ça vont
augmenter le temps total, mais pour cuire des pâtes, ça
suffit.

Y.

Re: recherche solution pour un compte à rebours

[Bernard Schoenacker]

- Mail original - 

> De: "Basile Starynkevitch" 
> À: "Bernard Schoenacker" 
> Cc: "Debian user french" 
> Envoyé: Dimanche 20 Juin 2021 20:28:58
> Objet: Re: recherche solution pour un compte à rebours

> On 20/06/2021 20:07, Bernard Schoenacker wrote:
> --
> Basile Starynkevitch  (only mine opinions /
> les opinions sont miennes uniquement)
> 92340 Bourg-la-Reine, France
> web page: starynkevitch.net/Basile/

Bonjour Basile,

désolé pour le coup, c'est trop fort par rapport à mes besoins ...

Je recherche un minuteur décrémental pour me donner le compte à 
rebours d'un temps de cuisson ...

Merci

@+

Bernard

Re: recherche solution pour un compte à rebours

[Basile Starynkevitch]

On 20/06/2021 20:07, Bernard Schoenacker wrote:

Bonjour,

je recherche à réaliser un décompte sur mon ordi pour "surveiller"
un processus physique (chronomètre countdown) ...

Quelle est la bonne solution ?

Solution trouvée pour l'instant :

https://www.linuxquestions.org/questions/linux-newbie-8/countdown-timer-for-linux-949463/page2.html

Merci

@+

Bernard



En C, sont pertinentes les fonctions poll(2) 
, select(2) 
, timer_create(2) 
, 
timerfd_create(2) 
, 
setitimer(2) 


voir aussi time(7) 

--
Basile Starynkevitch  
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/

recherche solution pour un compte à rebours

[Bernard Schoenacker]

Bonjour,

je recherche à réaliser un décompte sur mon ordi pour "surveiller" 
un processus physique (chronomètre countdown) ...

Quelle est la bonne solution ?

Solution trouvée pour l'instant :

https://www.linuxquestions.org/questions/linux-newbie-8/countdown-timer-for-linux-949463/page2.html

Merci 

@+

Bernard

Re : dia .vsd .jpeg

[nicolas . patrois]

Le 20/06/2021 16:12:48, Frederic Zulian a écrit :

> J'ai une série de schémas en .vsd et .jpeg à réactualiser.
> L'utilisation de Dia ne me semble pas pratique dans ce cas.

> Des idées ?

inkscape pour les .vsd ?
Pour les images matricielles, tout dépend de ce que tu as à faire.
Peut-être pinta ou inkscape après les avoir vectorisées ?

nicolas patrois : pts noir asocial
-- 
RÉALISME

M : Qu'est-ce qu'il nous faudrait pour qu'on nous considère comme des humains ? 
Un cerveau plus gros ?
P : Non... Une carte bleue suffirait...

dia .vsd .jpeg

[Frederic Zulian]

Bonjour,

J'ai une série de schémas en .vsd et .jpeg à réactualiser.
L'utilisation de Dia ne me semble pas pratique dans ce cas.

Des idées ?

Frédéric ZULIAN

Re: Re : Re: Re : Changement de noyau sur rPI 3

[BERTRAND Joël]

Hugues Larrive a écrit :
> Bonjour,
> 
>> J'ai ceci :
>>
>> root@abel:/etc/apt# cat sources.list
>>
>> deb http://deb-multimedia.org stable main non-free
>>
>> deb http://deb-multimedia.org testing main non-free
>>
>> deb http://deb-multimedia.org unstable main non-free
>>
>> deb http://deb.debian.org/debian stable main contrib non-free
>>
>> deb http://deb.debian.org/debian testing main contrib non-free
>>
>> deb http://deb.debian.org/debian unstable main contrib non-free
>>
> Bizarre, avec ça tu devrais être en debian 10 (stable) ou 11 
> (testing/unstable).
> 
> Tu as surement un "pinning" dans /etc/apt/preferences qui te bloque en debian 
> 9.
> Que donne :
> $ apt-cache policy base-files

bertrand@abel:~ $ apt-cache policy base-files
base-files:
  Installé : 11.1+rpi1
  Candidat : 11.1+rpi1
 Table de version :
 *** 11.1+rpi1 990
990 http://mirrordirector.raspbian.org/raspbian testing/main
armhf Packages
100 /var/lib/dpkg/status
 11.1 990
990 http://deb.debian.org/debian testing/main armhf Packages
500 http://deb.debian.org/debian unstable/main armhf Packages
 10.3+rpi1+deb10u9 500
500 http://mirrordirector.raspbian.org/raspbian stable/main
armhf Packages
 10.3+deb10u9 500
500 http://deb.debian.org/debian stable/main armhf Packages
bertrand@abel:~ $

> Normalement pour debian stable il te faut aussi un dépot pour les 
> mises-à-jour de sécurité :
> deb http://security.debian.org/ stable/updates main contrib non-free
> 
> Mais je ne sais pas si c'est une bonne idée d'utiliser debian directement sur 
> raspberri pi.
> 
>> root@abel:/etc/apt# cat sources.list.d/raspi.list
>>
>> #deb http://archive.raspberrypi.org/debian/ jessie main ui
>>
> ...
>> Pas moyen de mettre à jour raspberrypi-kernel.
>>
> Normal, la ligne est commentée.

Que celle ligne soit commentée ou non, le résultat est le même. Il
faudrait peut-être :

deb http://archive.raspberrypi.org/debian/ stable main ui
deb http://archive.raspberrypi.org/debian/ testing main ui
deb http://archive.raspberrypi.org/debian/ unstable main ui

J'avoue ne pas avoir testé plus que cela, l'urgent étant de remettre en
place la wifi.

> Au final il semble que ton système soit un hybride entre raspbian 8 et debian 
> 10 et 11... pas terrible pour la stabilité lors des mises à jour !
> 
> Je te donne les sources.list d'origine de raspbian 10 :
> root@pi3:~# cat /etc/apt/sources.list
> deb http://raspbian.raspberrypi.org/raspbian/ buster main contrib non-free rpi
> # Uncomment line below then 'apt-get update' to enable 'apt-get source'
> #deb-src http://raspbian.raspberrypi.org/raspbian/ buster main contrib 
> non-free rpi
> 
> root@pi3:~# cat /etc/apt/sources.list.d/raspi.list
> deb http://archive.raspberrypi.org/debian/ buster main
> # Uncomment line below then 'apt-get update' to enable 'apt-get source'
> #deb-src http://archive.raspberrypi.org/debian/ buster main
> 
> Voir si tu as d'autres choses qui trainent dans /etc/apt/sources.list.d/.

Rien d'autre.

> S'il n'y a pas de pinning et que tu as des paquets en testing/unstable à 
> downgrader, tu peux créer _temporairement_ un /etc/apt/preferences avec :
> Package: *
> Pin: release n=buster
> Pin-Priority: 1001
> 
> La priorité suppérieur à 1000 force le downgrade.
> 
> Si tu veux ajouter le dépot debian multimedia dans /etc/apt/sources.list:
> deb http://deb-multimedia.org buster main non-free
> 
> Attention : soit tu fais tout avec les noms d'archives (stable, testing, 
> unstable), soit tu fais tout avec les noms de code (buster, bullseye, sid), 
> il ne faut pas mélanger les deux.
> 
> Si tu veux juste installer le noyau 5.10 de raspbian (raspberrypi-kernel) et 
> le bootloader qui va avec (raspberrypi-bootloader), il te faut simplement 
> décommenter la ligne dans /etc/apt/sources.list.d/raspi.list et remplacer 
> "jessie" par "stable", mais il vaudrait probablement mieux remettre tout le 
> système au propre...
Très honnêtement, le système me semble propre, il n'y a que le noyau
qui n'a pas suivi.

Merci de t'être penché sur le problème,

JKB

Re: Re : Changement de noyau sur rPI 3

[BERTRAND Joël]

Hugues Larrive a écrit :
> Bonjour,

Bonjour,

> Le noyau 4.9 correspond à raspbian 8, sur raspbian 9.13 tu devrais avoir un 
> noyau 4.19. Un upgrade vers raspbian 10 te donnerait un noyau 5.10.
> 
> Les noyaux raspbian sont installés par le package raspberrypi-kernel depuis 
> le dépot http://archive.raspberrypi.org/debian/ définit dans 
> /etc/apt/sources.list.d/raspi.list.
> 
> Si tu as un noyau 4.9 sur stretch, tu as probablement une incohérence entre 
> /etc/apt/sources.list (stretch) et /etc/apt/sources.list.d/raspi.list 
> (jessie).

J'ai ceci :

root@abel:/etc/apt# cat sources.list
deb http://deb-multimedia.org stable main non-free
deb http://deb-multimedia.org testing main non-free
deb http://deb-multimedia.org unstable main non-free
deb http://deb.debian.org/debian stable main contrib non-free
deb http://deb.debian.org/debian testing main contrib non-free
deb http://deb.debian.org/debian unstable main contrib non-free

root@abel:/etc/apt# cat sources.list.d/raspi.list
#deb http://archive.raspberrypi.org/debian/ jessie main ui
# Uncomment line below then 'apt-get update' to enable 'apt-get source'
#deb-src http://archive.raspberrypi.org/debian/ jessie main ui
root@abel:/etc/apt# dpkg-query -l | grep raspberrypi-kernel
ii  raspberrypi-kernel1.20170703-1
 armhfRaspberry Pi bootloader
ii  raspberrypi-kernel-headers1.20170703-1
 armhfHeader files for the Raspberry Pi Linux kernel

Pas moyen de mettre à jour raspberrypi-kernel.

>> Est-ce que quelqu'un a déjà réussi à faire booter sur un rPI une zImage
> 
> RPI3 sous raspbian 10 :
> # file /boot/kernel*
> /boot/kernel7.img:  Linux kernel ARM boot executable zImage (little-endian)
> /boot/kernel7l.img: Linux kernel ARM boot executable zImage (little-endian)
> /boot/kernel8.img:  gzip compressed data, was "Image", last modified: Thu May 
> 27 13:01:44 2021, from Unix, original size 21035520
> /boot/kernel.img:   Linux kernel ARM boot executable zImage (little-endian)
> 
> RPI1 sous raspbian 9 :
> # file /boot/kernel*
> /boot/kernel7.img: Linux kernel ARM boot executable zImage (little-endian)
> /boot/kernel.img:  Linux kernel ARM boot executable zImage (little-endian)
> 
> Ce sont les noyaux raspberrypi-kernel.

Noyau fournis par debian :

root@abel:/boot# file vmlinuz-5.10.0-7-armmp
vmlinuz-5.10.0-7-armmp: Linux kernel ARM boot executable zImage
(little-endian)
-> pas bootable avec le bootloader d'origine (écran multicolor de la mort).

J'en ai essayé d'autres en désespoir de cause avec le même résultat. Un
paquet de firmware crée bien un kernel7.img, mais il n'est pas dans /boot.

Noyau compilé depuis les sources :

root@abel:/boot# file kernel7.img
kernel7.img: ARM OpenFirmware FORTH Dictionary, Text length: -509607936
bytes, Data length: -509607936 bytes, Text Relocation Table length:
-369098747 bytes, Data Relocation Table length: 24061976 bytes, Entry
Point: 0x, BSS length: 6339600 bytes

Je n'ai pas réussi à faire booter un noyau zImage même en le renommant
kernel7.img. Je suppose donc que le bootloader (au moins le mien), sait
lire un ARM OpenFirmware FORTH Dictionary et pas une zImage.

Je n'ai pas le temps de tester avec le nouveau bootloader si par hasard
il supporterait un zImage (la compilation du noyau depuis les sources
m'a créé un tas de fichiers nécessaires au bootloader).

Bien cordialement,

JKB

Re: Re : Problème avec pulseaudio

[steve]

Le 19-06-2021, à 23:44:44 +, Hugues Larrive a écrit :


Bonjour,


Une idée?


Peut-être :
# usermod -a -G  pulse-access ton-utilisateur


Merci, mon utilisateur n'était pas dans ce groupe.

J'ai redémarré et il semble que l'erreur ait disparu. A voir.