Oui /usr/bin/mpg123 (mais à cet emplacement la commande devrait être trouvée, donc c'est peut-être pas le souci et il reste la piste déjà évoquée des options)
Je pense qu'il faut essayer juste avec la partie audio pour voir si ça marche bien
echo"/usr/bin/mpg123 '$HOME/Musique/alert.mp3' "| at ${temps}
J'ai demandé la distribution parce-que je trouve surprenant le
at ${verbe}${temps}
...mais on n'a pas tout le contexte.
"It is seldom that liberty of any kind is lost all at once." ― David Hume
[^] # Re: des remarques sur la forme ;)
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Aide pour script. Évalué à 2. Dernière modification le 13 mars 2023 à 23:46.
Hello,
Oui
/usr/bin/mpg123(mais à cet emplacement la commande devrait être trouvée, donc c'est peut-être pas le souci et il reste la piste déjà évoquée des options)Je pense qu'il faut essayer juste avec la partie audio pour voir si ça marche bien
J'ai demandé la distribution parce-que je trouve surprenant le
...mais on n'a pas tout le contexte.
"It is seldom that liberty of any kind is lost all at once." ― David Hume