Re: recherche examples détaillés (n logiciel libre) pour grammaire d'entrée vers bisonc++ (generateur de code)

2023-03-14 Par sujet Étienne Mollier
Bonsoir Basile,

Basile Starynkevitch, on 2023-03-13:
> Je recherche plusieurs exemples complexes ("grandeur nature"), en logiciel
> libre, de fichiers de grammaire pour bisonc++
> 
> Savez vous quels paquets Debian dépendent de ce générateur de code C++ ?

À l'instant t, je n'en ai trouvé aucun qui dépende directement
de bisonc++ pour sa construction :

$ build-rdeps bisonc++
Reverse Build-depends in main:
--

No reverse build-depends found for bisonc++.

Reverse Build-depends in contrib:
--

No reverse build-depends found for bisonc++.

En revanche, il existe un paquet c++-annotations contenant de la
documentation qui fait référence à l'utilisation de bisonc++ :

$ apt rdepends bisonc++
Reverse Depends:
  Suggests: c++-annotations
  Suggests: flexc++
  Suggests: c++-annotations-txt
  Suggests: c++-annotations-ps
  Suggests: c++-annotations-pdf
  Suggests: c++-annotations-latex
  Suggests: c++-annotations-html
  Suggests: c++-annotations-dvi
  Suggests: c++-annotations-contrib

$ apt show c++-annotations
[…]
Description: Extensive tutorial and documentation about C++
[…]

Voyez la section 25.6 : « Using `bisonc++' and `flexc++' ».

Bonne soirée,  :)
-- 
Étienne Mollier 
Fingerprint:  8f91 b227 c7d6 f2b1 948c  8236 793c f67e 8f0d 11da
Sent from /dev/pts/3, please excuse my verbosity.


signature.asc
Description: PGP signature


Re: n'arrive plus à git push vers github.com

2023-03-14 Par sujet Olivier backup my spare

Peut-être que l'explication se trouve là
https://www.blog-nouvelles-technologies.fr/256050/github-etend-obligation-2fa-lundi-13-mars/


Le 14/03/2023 à 11:22, Basile Starynkevitch a écrit :

Bonjour à tous,

Je n'arrive plus à faire un git push vers github.com

Sur mon ordinateur portable personnel (ACER Nitro 5, x86-64, Debian/Sid, 
...)


guiseppe.x86_64 ~/RefPerSys 10:43 .0 % git push
Username for 'https://github.com': bas...@starynkevitch.net
Password for 'https://bas...@starynkevitch.net@github.com':
guiseppe.x86_64 ~/RefPerSys 10:44 .130 % git push
Username for 'https://github.com': bstarynk
Password for 'https://bstar...@github.com':
remote: Support for password authentication was removed on August 13, 2021.
remote: Please see 
https://docs.github.com/en/get-started/getting-started-with-git/about-remote-repositories#cloning-with-https-urls for information on currently recommended modes of authentication.

fatal: Authentication failed for 'https://github.com/RefPerSys/RefPerSys/'


Mon profile sur github est https://github.com/bstarynk/

Mon email perso est bas...@starynkevitch.net

Mon email pro est basile.starynkevi...@cea.fr (mais aujourd'hui je suis 
en congé)


(mon téléphone portable, en journée, en France, 06 85012359)

guiseppe.x86_64 ~/RefPerSys 11:15 .130 %cat  _.git/config_  
[core]

repositoryformatversion = 0
filemode = true
bare = false
logallrefupdates = true
[remote "origin"]
url =https://github.com/RefPerSys/RefPerSys/
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master


guiseppe.x86_64 ~ 11:17 .0 % ls -la .ssh
total 108
drwx--  2 basilest basilegr 4096 Mar 14 10:40 .
drwx-- 24 basilest basilegr 4096 Mar 14 10:42 ..
-rw---  1 basilest basilegr 5877 Dec 23 11:03 authorized_keys
-rw---  1 basilest basilegr 5465 Dec 23 11:03 authorized_keys~
-rw---  1 basilest basilegr 1349 Dec 23 11:03 authorized_keys2
-rw---  1 basilest basilegr 1650 Dec 23 11:03 config
-rw---  1 basilest basilegr 1192 Dec 23 11:03 id_dsa
-rw---  1 basilest basilegr 1716 Dec 23 11:03 id_dsa.keystore
-rw-r--r--  1 basilest basilegr 1117 Mar 14 10:38 id_dsa.pub
-rw---  1 basilest basilegr  365 Dec 23 11:03 id_ecdsa-old
-rw-r--r--  1 basilest basilegr  269 Dec 23 11:03 id_ecdsa.pub-old
-rw---  1 basilest basilegr  464 Dec 23 11:03 id_ed25519
-rw-r--r--  1 basilest basilegr   97 Dec 23 11:03 id_ed25519.pub
-rw---  1 basilest basilegr  529 Dec 23 11:03 identity
-rw---  1 basilest basilegr  333 Dec 23 11:03 identity.pub
-rw---  1 basilest basilegr 2655 Dec 23 11:03 id_rsa
-rw---  1 basilest basilegr  630 Dec 23 11:03 id_rsa.keystore
-rw---  1 basilest basilegr  571 Mar 14 10:40 id_rsa.pub
-rw---  1 basilest basilegr 1784 Dec 23 12:41 known_hosts
-rw---  1 basilest basilegr  948 Dec 23 12:41 known_hosts.old
-rw---  1 basilest basilegr 8053 Dec 23 11:03 known_hosts_old
-rw-r--r--  1 basilest basilegr  576 Dec 23 11:03 piotr-id_rsa.pub
-rw---  1 basilest basilegr  512 Dec 23 11:03 random_seed
-rw---  1 basilest basilegr  399 Dec 23 11:03 ssh_config


et

guiseppe.x86_64 ~ 11:17 .0 %id  -a
uid=12752(basilest) gid=4200(basilegr) groups=4200(basilegr),27(sudo)

et

guiseppe.x86_64 ~ 11:18 .0 %cat  _.ssh/id_dsa.pub_  
ssh-dss B3NzaC1kc3MAAAEBAJ4IYdy+Wrjft3/krEp1XaPrkqfqeuHs13iiGeEXwnMBlhd+ycc5D/8ajy74oN9t9rIt7ixz3XR+bs3llXMgJ+MeI5fVb0jBElkdw5epCTFasrIq866vo28i0W1CwKlx1thP8/LDMY/YIkwkj6Nqxz5cZLqBn9j1SUSsVRr+FiVgYaSxt5zm/bzbtaLGsjMeN0z+JxE/tSk1hL4KL4MpVsALT2dlh2CPpmbnpiK6dzKLozZdUF2/qD/u1+sicbBm+zgKAdhKUN541qOiww/joWS9biC1y9DVg4tQTcg88/pxbS8RL5Osehsl1bdLA3mw+yWKIo/a0OZdavaS67SRkisVAPt+uDThzgbET1FxiRi0lqeeL4u1AAABAFDhtURdWt6uaywGaak/ZMM9lg6az+B04j0ltvUdb0sZGs4DHpLy4nHgVMAKCYKpTBzQrG407SN25o+e1suo17pK3BskFPwzywEvrge9B4dcIKr3QN2xoCfCdnXe7g8ieFIbuGwvykjGspaQ+P9NXRZOkBSHAlvEm7ATx2qduSeIBUYn/prMy1kQUP7/Ikvm8NFrAdMm6E8qXgNdbZvThcnuCDkvWKG9rZtCsX6GLRMT1Gn0s6D7F28hH47BlgH/uFoIXbOxvA7f/OrscGrzj396m12HMtrTEhcrONsYySZ/vZLqbxRKpNjNPhfIzMuGwsls5u6FlUHO/otCGZFQCFsAAAEAXnF0z9Yhn5fQhGzg4aDk5tHmMCRv4b0yB288vk8K5gHrKNpovQCZPmx9SKiLweEGoXIoJ3Im7Df8R1fijmpqvLiKdsbX3S5XWgqJ5KoNKAEWkteTy1+T/2RhqvfINE9PB40D0VdhV7BCtZ/mHWFEF2HGRC7PInswRRpgssyD49GCAvqwDluonipOfDU66yNSoMBMP3QPgH6mn0txkjqMpjBfy2VRrFOj3l0DWtaAWT9Arh9JzkGSsbE5B+YnMB6uK85lncLYDNV9n+AvvpvDyFtbA2bbjMo6CqeFnHvzDjhjEFrGedrxGaYnELEo+zH5QhJv2IV35wkR7MF8Z9Vzow== basile@guiseppe






Qu'ai-je fait comme bêtise en ligne de commandes?

Quelle commande utiliser pour réparer?


(à bientôt à Lyon au JDLL)

Librement

--
Basile Starynkevitch
92340 Bourg-la-Reine, France
http://starynkevitch.net/Basile/  andhttp://refpersys.org/



--
AI Gestionnaire d'infrastructure/ Gestionnaire de Parc.
Centre d'économie S**
Monero (XMR) - The secure, private, untraceable cryptocurrency
that keeps your money confidential.
Grassroots. Open source. Dedicated to privacy & freedom.
Monero || #xmr
BEGIN:VCARD
VERSION:4.0

Re: n'arrive plus à git push vers github.com

2023-03-14 Par sujet Pierre-Elliott Bécue
Bonjour Basile,

Il est important de lire les messages d'erreur qui sortent sur un
terminal, parce que sinon on perd son temps et éventuellement on fait
perdre le leur aux autres.

Basile Starynkevitch  wrote on 14/03/2023 at 
11:22:49+0100:

> Bonjour à tous,
>
> Je n'arrive plus à faire un git push vers github.com
>
> Sur mon ordinateur portable personnel (ACER Nitro 5, x86-64, Debian/Sid, ...)
>
> guiseppe.x86_64 ~/RefPerSys 10:43 .0 % git push
> Username for 'https://github.com': bas...@starynkevitch.net
> Password for 'https://bas...@starynkevitch.net@github.com': 
> guiseppe.x86_64 ~/RefPerSys 10:44 .130 % git push
> Username for 'https://github.com': bstarynk
> Password for 'https://bstar...@github.com': 
> remote: Support for password authentication was removed on August 13, 2021.
> remote: Please see 
> https://docs.github.com/en/get-started/getting-started-with-git/about-remote-repositories#cloning-with-https-urls
>  for information on
> currently recommended modes of authentication.
> fatal: Authentication failed for 'https://github.com/RefPerSys/RefPerSysy/'

C'est écrit ici : tu essaies de te connecter en https pour pousser, et
donc de pousser avec un login/mot de passe, ce qui n'est plus supporté
par GitHub depuis le 13 août 2021.

> Mon profile sur github est https://github.com/bstarynk/
>
> Mon email perso est bas...@starynkevitch.net
>
> Mon email pro est basile.starynkevi...@cea.fr (mais aujourd'hui je suis en 
> congé)
>
> (mon téléphone portable, en journée, en France, 06 85012359)
>
> guiseppe.x86_64 ~/RefPerSys 11:15 .130 % cat .git/config 
> [core]
>   repositoryformatversion = 0
>   filemode = true
>   bare = false
>   logallrefupdates = true
> [remote "origin"]
>   url = https://github.com/RefPerSys/RefPerSys/
>   fetch = +refs/heads/*:refs/remotes/origin/*
> [branch "master"]
>   remote = origin
>   merge = refs/heads/master
>
>
> guiseppe.x86_64 ~ 11:17 .0 % ls -la .ssh
> total 108
> drwx--  2 basilest basilegr 4096 Mar 14 10:40 .
> drwx-- 24 basilest basilegr 4096 Mar 14 10:42 ..
> -rw---  1 basilest basilegr 5877 Dec 23 11:03 authorized_keys
> -rw---  1 basilest basilegr 5465 Dec 23 11:03 authorized_keys~
> -rw---  1 basilest basilegr 1349 Dec 23 11:03 authorized_keys2
> -rw---  1 basilest basilegr 1650 Dec 23 11:03 config
> -rw---  1 basilest basilegr 1192 Dec 23 11:03 id_dsa
> -rw---  1 basilest basilegr 1716 Dec 23 11:03 id_dsa.keystore
> -rw-r--r--  1 basilest basilegr 1117 Mar 14 10:38 id_dsa.pub
> -rw---  1 basilest basilegr  365 Dec 23 11:03 id_ecdsa-old
> -rw-r--r--  1 basilest basilegr  269 Dec 23 11:03 id_ecdsa.pub-old
> -rw---  1 basilest basilegr  464 Dec 23 11:03 id_ed25519
> -rw-r--r--  1 basilest basilegr   97 Dec 23 11:03 id_ed25519.pub
> -rw---  1 basilest basilegr  529 Dec 23 11:03 identity
> -rw---  1 basilest basilegr  333 Dec 23 11:03 identity.pub
> -rw---  1 basilest basilegr 2655 Dec 23 11:03 id_rsa
> -rw---  1 basilest basilegr  630 Dec 23 11:03 id_rsa.keystore
> -rw---  1 basilest basilegr  571 Mar 14 10:40 id_rsa.pub
> -rw---  1 basilest basilegr 1784 Dec 23 12:41 known_hosts
> -rw---  1 basilest basilegr  948 Dec 23 12:41 known_hosts.old
> -rw---  1 basilest basilegr 8053 Dec 23 11:03 known_hosts_old
> -rw-r--r--  1 basilest basilegr  576 Dec 23 11:03 piotr-id_rsa.pub
> -rw---  1 basilest basilegr  512 Dec 23 11:03 random_seed
> -rw---  1 basilest basilegr  399 Dec 23 11:03 ssh_config
>
>
> et
>
> guiseppe.x86_64 ~ 11:17 .0 % id -a
> uid=12752(basilest) gid=4200(basilegr) groups=4200(basilegr),27(sudo)
>
> et
>
>  guiseppe.x86_64 ~ 11:18 .0 % cat .ssh/id_dsa.pub 
> ssh-dss 
> B3NzaC1kc3MAAAEBAJ4IYdy+Wrjft3/krEp1XaPrkqfqeuHs13iiGeEXwnMBlhd+ycc5D/8ajy74oN9t9rIt7ixz3XR+bs3llXMgJ+MeI5fVb0jBElkdw5epCTFasrIq866vo28i0W1CwKlx1thP8/LDMY/YIkwkj6Nqxz5cZLqBn9j1SUSsVRr+FiVgYaSxt5zm/bzbtaLGsjMeN0z+JxE/tSk1hL4KL4MpVsALT2dlh2CPpmbnpiK6dzKLozZdUF2/qD/u1+sicbBm+zgKAdhKUN541qOiww/joWS9biC1y9DVg4tQTcg88/pxbS8RL5Osehsl1bdLA3mw+yWKIo/a0OZdavaS67SRkisVAPt+uDThzgbET1FxiRi0lqeeL4u1AAABAFDhtURdWt6uaywGaak/ZMM9lg6az+B04j0ltvUdb0sZGs4DHpLy4nHgVMAKCYKpTBzQrG407SN25o+e1suo17pK3BskFPwzywEvrge9B4dcIKr3QN2xoCfCdnXe7g8ieFIbuGwvykjGspaQ+P9NXRZOkBSHAlvEm7ATx2qduSeIBUYn/prMy1kQUP7/Ikvm8NFrAdMm6E8qXgNdbZvThcnuCDkvWKG9rZtCsX6GLRMT1Gn0s6D7F28hH47BlgH/uFoIXbOxvA7f/OrscGrzj396m12HMtrTEhcrONsYySZ/vZLqbxRKpNjNPhfIzMuGwsls5u6FlUHO/otCGZFQCFsAAAEAXnF0z9Yhn5fQhGzg4aDk5tHmMCRv4b0yB288vk8K5gHrKNpovQCZPmx9SKiLweEGoXIoJ3Im7Df8R1fijmpqvLiKdsbX3S5XWgqJ5KoNKAEWkteTy1+T/2RhqvfINE9PB40D0VdhV7BCtZ/mHWFEF2HGRC7PInswRRpgssyD49GCAvqwDluonipOfDU66yNSoMBMP3QPgH6mn0txkjqMpjBfy2VRrFOj3l0DWtaAWT9Arh9JzkGSsbE5B+YnMB6uK85lncLYDNV9n+AvvpvDyFtbA2bbjMo6CqeFnHvzDjhjEFrGedrxGaYnELEo+zH5QhJv2IV35wkR7MF8Z9Vzow==
>  basile@guiseppe
>
> Qu'ai-je fait comme bêtise en ligne de commandes?
>
> Quelle commande utiliser pour réparer?

Ajouter une clefs SSH publique sur github pour ton compte, par exemple
celle 

Re: n'arrive plus à git push vers github.com

2023-03-14 Par sujet Jérémy Prego

Bonjour,

La réponse est dans le lien fourni:
remote: Support for password authentication was removed on August 13, 
2021.
remote: Please see 
https://docs.github.com/en/get-started/getting-started-with-git/about-remote-repositories#cloning-with-https-urls 
for information on currently recommended modes of authentication.


En gros, il faut utiliser une clé ssh maintenant pour push sur github, 
depuis août 2021


Jerem
Le 14/03/2023 à 11:22, Basile Starynkevitch a écrit :


Bonjour à tous,

Je n'arrive plus à faire un git push vers github.com

Sur mon ordinateur portable personnel (ACER Nitro 5, x86-64, 
Debian/Sid, ...)


guiseppe.x86_64 ~/RefPerSys 10:43 .0 % git push
Username for 'https://github.com': bas...@starynkevitch.net
Password for 'https://bas...@starynkevitch.net@github.com':
guiseppe.x86_64 ~/RefPerSys 10:44 .130 % git push
Username for 'https://github.com': bstarynk
Password for 'https://bstar...@github.com':
remote: Support for password authentication was removed on August 13, 
2021.
remote: Please see 
https://docs.github.com/en/get-started/getting-started-with-git/about-remote-repositories#cloning-with-https-urls 
for information on currently recommended modes of authentication.

fatal: Authentication failed for 'https://github.com/RefPerSys/RefPerSys/'


Mon profile sur github est https://github.com/bstarynk/

Mon email perso est bas...@starynkevitch.net

Mon email pro est basile.starynkevi...@cea.fr (mais aujourd'hui je 
suis en congé)


(mon téléphone portable, en journée, en France, 06 85012359)

guiseppe.x86_64 ~/RefPerSys 11:15 .130 %cat  _.git/config_  
[core]

repositoryformatversion = 0
filemode = true
bare = false
logallrefupdates = true
[remote "origin"]
url =https://github.com/RefPerSys/RefPerSys/
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master


guiseppe.x86_64 ~ 11:17 .0 % ls -la .ssh
total 108
drwx--  2 basilest basilegr 4096 Mar 14 10:40 .
drwx-- 24 basilest basilegr 4096 Mar 14 10:42 ..
-rw---  1 basilest basilegr 5877 Dec 23 11:03 authorized_keys
-rw---  1 basilest basilegr 5465 Dec 23 11:03 authorized_keys~
-rw---  1 basilest basilegr 1349 Dec 23 11:03 authorized_keys2
-rw---  1 basilest basilegr 1650 Dec 23 11:03 config
-rw---  1 basilest basilegr 1192 Dec 23 11:03 id_dsa
-rw---  1 basilest basilegr 1716 Dec 23 11:03 id_dsa.keystore
-rw-r--r--  1 basilest basilegr 1117 Mar 14 10:38 id_dsa.pub
-rw---  1 basilest basilegr  365 Dec 23 11:03 id_ecdsa-old
-rw-r--r--  1 basilest basilegr  269 Dec 23 11:03 id_ecdsa.pub-old
-rw---  1 basilest basilegr  464 Dec 23 11:03 id_ed25519
-rw-r--r--  1 basilest basilegr   97 Dec 23 11:03 id_ed25519.pub
-rw---  1 basilest basilegr  529 Dec 23 11:03 identity
-rw---  1 basilest basilegr  333 Dec 23 11:03 identity.pub
-rw---  1 basilest basilegr 2655 Dec 23 11:03 id_rsa
-rw---  1 basilest basilegr  630 Dec 23 11:03 id_rsa.keystore
-rw---  1 basilest basilegr  571 Mar 14 10:40 id_rsa.pub
-rw---  1 basilest basilegr 1784 Dec 23 12:41 known_hosts
-rw---  1 basilest basilegr  948 Dec 23 12:41 known_hosts.old
-rw---  1 basilest basilegr 8053 Dec 23 11:03 known_hosts_old
-rw-r--r--  1 basilest basilegr  576 Dec 23 11:03 piotr-id_rsa.pub
-rw---  1 basilest basilegr  512 Dec 23 11:03 random_seed
-rw---  1 basilest basilegr  399 Dec 23 11:03 ssh_config


et

guiseppe.x86_64 ~ 11:17 .0 %id  -a
uid=12752(basilest) gid=4200(basilegr) groups=4200(basilegr),27(sudo)

et

guiseppe.x86_64 ~ 11:18 .0 %cat  _.ssh/id_dsa.pub_  
ssh-dss B3NzaC1kc3MAAAEBAJ4IYdy+Wrjft3/krEp1XaPrkqfqeuHs13iiGeEXwnMBlhd+ycc5D/8ajy74oN9t9rIt7ixz3XR+bs3llXMgJ+MeI5fVb0jBElkdw5epCTFasrIq866vo28i0W1CwKlx1thP8/LDMY/YIkwkj6Nqxz5cZLqBn9j1SUSsVRr+FiVgYaSxt5zm/bzbtaLGsjMeN0z+JxE/tSk1hL4KL4MpVsALT2dlh2CPpmbnpiK6dzKLozZdUF2/qD/u1+sicbBm+zgKAdhKUN541qOiww/joWS9biC1y9DVg4tQTcg88/pxbS8RL5Osehsl1bdLA3mw+yWKIo/a0OZdavaS67SRkisVAPt+uDThzgbET1FxiRi0lqeeL4u1AAABAFDhtURdWt6uaywGaak/ZMM9lg6az+B04j0ltvUdb0sZGs4DHpLy4nHgVMAKCYKpTBzQrG407SN25o+e1suo17pK3BskFPwzywEvrge9B4dcIKr3QN2xoCfCdnXe7g8ieFIbuGwvykjGspaQ+P9NXRZOkBSHAlvEm7ATx2qduSeIBUYn/prMy1kQUP7/Ikvm8NFrAdMm6E8qXgNdbZvThcnuCDkvWKG9rZtCsX6GLRMT1Gn0s6D7F28hH47BlgH/uFoIXbOxvA7f/OrscGrzj396m12HMtrTEhcrONsYySZ/vZLqbxRKpNjNPhfIzMuGwsls5u6FlUHO/otCGZFQCFsAAAEAXnF0z9Yhn5fQhGzg4aDk5tHmMCRv4b0yB288vk8K5gHrKNpovQCZPmx9SKiLweEGoXIoJ3Im7Df8R1fijmpqvLiKdsbX3S5XWgqJ5KoNKAEWkteTy1+T/2RhqvfINE9PB40D0VdhV7BCtZ/mHWFEF2HGRC7PInswRRpgssyD49GCAvqwDluonipOfDU66yNSoMBMP3QPgH6mn0txkjqMpjBfy2VRrFOj3l0DWtaAWT9Arh9JzkGSsbE5B+YnMB6uK85lncLYDNV9n+AvvpvDyFtbA2bbjMo6CqeFnHvzDjhjEFrGedrxGaYnELEo+zH5QhJv2IV35wkR7MF8Z9Vzow== basile@guiseppe






Qu'ai-je fait comme bêtise en ligne de commandes?

Quelle commande utiliser pour réparer?


(à bientôt à Lyon au JDLL)

Librement

--
Basile Starynkevitch
92340 Bourg-la-Reine, France
http://starynkevitch.net/Basile/  

'gio: Setting attribute metadata::trusted not supported'

2023-03-14 Par sujet roger . tarani
Bonjour, 

Je fais suite au fil de discussion debian 11 - créer une "desktop icon"... 
simplement . 
J'avais pu, avec un script bash exécuté par un sudoer, créer un lanceur sur le 
bureau avec une icône, lui donner les droits 700 (pour le sudoer qui exécute ce 
script). Impeccable. 

A cette occasion, j'ai aussi découvert les réglages de sécurité supplémentaires 
que j'ignorais (GUI...). 
Je suis allé jusqu'à les modifier avec cette commande exécutée en tant que 
sudoer ('sudo monscript.sh'). A son tour, root ($USER, tandis que le sudoer est 
représenté par $SUDO_USER) exécuteune commande sudo : 


sudo -u "${SUDO_USER}" bash -c 'echo "${LAUNCHER}"; gio set "${LAUNCHER}" 
metadata::trusted true' &> /dev/null 


Ça semble faire exactement ce que ferait l'utilisateur avec un clic droit sur 
l'icône du lanceur "Allow launching" (ou dans le navigateur de fichiers ; clic 
droit Properties > Permissions > "Allow executing file as program"). 

Le résultat obtenu est opérationnel , sauf cachotterie du système... 
Mais le script exécuté par l'utilisateur en tant que sudoer affiche un message 
d'erreur contradictoire ou lui-même erroné (ce qui serait un comble pour un 
message d'erreur !) : 

gio: Setting attribute metadata::trusted not supported 

D'où le &> /dev/null pour masquer ce message. 

Je veux m'assurer que ce qui marche aujourd'hui marchera, durablement, sur le 
système visé de l'utilisateur (debian 11, également). 

Comment expliquer que le changement est fait alors qu'un message suggère que 
cela n'est pas supporté ? (d'ailleurs : quoi, par quoi, pourquoi ?) 
Comment diagnostiquer ça ? 

Y a-t-il un rapport à explorer avec pkexec ou lxqt-sudo (et les anciens 
gksu/gksudo, obsolètes) à explorer ? (dont je ne connais quasiment rien à part 
les noms, puisque je n'ai jamais eu besoin de GUI...) 

Autrement dit, comment assure-t-on la sécurité du système debian quand on 
utilise un GUI (gnome, et autre xfce4) pour faire tourner un script requérant 
les droits d'un sudoer ? 

Merci. 


Re: Question sur Debian 11

2023-03-14 Par sujet roger . tarani



- Mail original -
De: "Sébastien NOBILI" 
À: "Liste Debian" 
Envoyé: Mardi 14 Mars 2023 10:22:46
Objet: Re: Question sur Debian 11

Bonjour,

Le 2023-03-13 10:28, aucourto a écrit :
> Question 1) J'arrive à me connecter avec mon poste serveur à un poste 
> client par SSH, je voudrais envoyer un message à l'écran de chaque 
> poste client et j'utilise Zenity,

Pourquoi ne pas utiliser le système de notification (via la commande 
`notify-send` par exemple) ?

Sébastien


+1
notify-send est très simple et pratique.
C'est le paquet libnotify-bin pour debian/ubuntu.

Exemples :
notify-send "Mon message" 

notify-send -u low "Mon message"
notify-send -u normal "Mon message" # '-u normal' doit correspondre à "rien" 
notify-send -u critical "Mon message" # apparaît même si la personne a activé 
"Do not disturb"

notify-send "A propos de la liste Debian" "Bla bla bla 
... bla bla"
 
Il est possible de structurer le message objet/corps et d'utiliser quelques 
balises html, une icône de notification personnalisée, de spécifier une 
expiration (--expire-time=TIME), etc.

Il y a aussi https://github.com/fgrehm/notify-send-http qui déclenche 
notify-send via HTTP. Je ne l'ai jamais essayé. A explorer.



n'arrive plus à git push vers github.com

2023-03-14 Par sujet Basile Starynkevitch

Bonjour à tous,

Je n'arrive plus à faire un git push vers github.com

Sur mon ordinateur portable personnel (ACER Nitro 5, x86-64, Debian/Sid, 
...)


guiseppe.x86_64 ~/RefPerSys 10:43 .0 % git push
Username for 'https://github.com': bas...@starynkevitch.net
Password for 'https://bas...@starynkevitch.net@github.com':
guiseppe.x86_64 ~/RefPerSys 10:44 .130 % git push
Username for 'https://github.com': bstarynk
Password for 'https://bstar...@github.com':
remote: Support for password authentication was removed on August 13, 2021.
remote: Please see 
https://docs.github.com/en/get-started/getting-started-with-git/about-remote-repositories#cloning-with-https-urls 
for information on currently recommended modes of authentication.

fatal: Authentication failed for 'https://github.com/RefPerSys/RefPerSys/'


Mon profile sur github est https://github.com/bstarynk/

Mon email perso est bas...@starynkevitch.net

Mon email pro est basile.starynkevi...@cea.fr (mais aujourd'hui je suis 
en congé)


(mon téléphone portable, en journée, en France, 06 85012359)

guiseppe.x86_64 ~/RefPerSys 11:15 .130 %cat  _.git/config_  
[core]

repositoryformatversion = 0
filemode = true
bare = false
logallrefupdates = true
[remote "origin"]
url =https://github.com/RefPerSys/RefPerSys/
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master


guiseppe.x86_64 ~ 11:17 .0 % ls -la .ssh
total 108
drwx--  2 basilest basilegr 4096 Mar 14 10:40 .
drwx-- 24 basilest basilegr 4096 Mar 14 10:42 ..
-rw---  1 basilest basilegr 5877 Dec 23 11:03 authorized_keys
-rw---  1 basilest basilegr 5465 Dec 23 11:03 authorized_keys~
-rw---  1 basilest basilegr 1349 Dec 23 11:03 authorized_keys2
-rw---  1 basilest basilegr 1650 Dec 23 11:03 config
-rw---  1 basilest basilegr 1192 Dec 23 11:03 id_dsa
-rw---  1 basilest basilegr 1716 Dec 23 11:03 id_dsa.keystore
-rw-r--r--  1 basilest basilegr 1117 Mar 14 10:38 id_dsa.pub
-rw---  1 basilest basilegr  365 Dec 23 11:03 id_ecdsa-old
-rw-r--r--  1 basilest basilegr  269 Dec 23 11:03 id_ecdsa.pub-old
-rw---  1 basilest basilegr  464 Dec 23 11:03 id_ed25519
-rw-r--r--  1 basilest basilegr   97 Dec 23 11:03 id_ed25519.pub
-rw---  1 basilest basilegr  529 Dec 23 11:03 identity
-rw---  1 basilest basilegr  333 Dec 23 11:03 identity.pub
-rw---  1 basilest basilegr 2655 Dec 23 11:03 id_rsa
-rw---  1 basilest basilegr  630 Dec 23 11:03 id_rsa.keystore
-rw---  1 basilest basilegr  571 Mar 14 10:40 id_rsa.pub
-rw---  1 basilest basilegr 1784 Dec 23 12:41 known_hosts
-rw---  1 basilest basilegr  948 Dec 23 12:41 known_hosts.old
-rw---  1 basilest basilegr 8053 Dec 23 11:03 known_hosts_old
-rw-r--r--  1 basilest basilegr  576 Dec 23 11:03 piotr-id_rsa.pub
-rw---  1 basilest basilegr  512 Dec 23 11:03 random_seed
-rw---  1 basilest basilegr  399 Dec 23 11:03 ssh_config


et

guiseppe.x86_64 ~ 11:17 .0 %id  -a
uid=12752(basilest) gid=4200(basilegr) groups=4200(basilegr),27(sudo)

et

guiseppe.x86_64 ~ 11:18 .0 %cat  _.ssh/id_dsa.pub_  
ssh-dss B3NzaC1kc3MAAAEBAJ4IYdy+Wrjft3/krEp1XaPrkqfqeuHs13iiGeEXwnMBlhd+ycc5D/8ajy74oN9t9rIt7ixz3XR+bs3llXMgJ+MeI5fVb0jBElkdw5epCTFasrIq866vo28i0W1CwKlx1thP8/LDMY/YIkwkj6Nqxz5cZLqBn9j1SUSsVRr+FiVgYaSxt5zm/bzbtaLGsjMeN0z+JxE/tSk1hL4KL4MpVsALT2dlh2CPpmbnpiK6dzKLozZdUF2/qD/u1+sicbBm+zgKAdhKUN541qOiww/joWS9biC1y9DVg4tQTcg88/pxbS8RL5Osehsl1bdLA3mw+yWKIo/a0OZdavaS67SRkisVAPt+uDThzgbET1FxiRi0lqeeL4u1AAABAFDhtURdWt6uaywGaak/ZMM9lg6az+B04j0ltvUdb0sZGs4DHpLy4nHgVMAKCYKpTBzQrG407SN25o+e1suo17pK3BskFPwzywEvrge9B4dcIKr3QN2xoCfCdnXe7g8ieFIbuGwvykjGspaQ+P9NXRZOkBSHAlvEm7ATx2qduSeIBUYn/prMy1kQUP7/Ikvm8NFrAdMm6E8qXgNdbZvThcnuCDkvWKG9rZtCsX6GLRMT1Gn0s6D7F28hH47BlgH/uFoIXbOxvA7f/OrscGrzj396m12HMtrTEhcrONsYySZ/vZLqbxRKpNjNPhfIzMuGwsls5u6FlUHO/otCGZFQCFsAAAEAXnF0z9Yhn5fQhGzg4aDk5tHmMCRv4b0yB288vk8K5gHrKNpovQCZPmx9SKiLweEGoXIoJ3Im7Df8R1fijmpqvLiKdsbX3S5XWgqJ5KoNKAEWkteTy1+T/2RhqvfINE9PB40D0VdhV7BCtZ/mHWFEF2HGRC7PInswRRpgssyD49GCAvqwDluonipOfDU66yNSoMBMP3QPgH6mn0txkjqMpjBfy2VRrFOj3l0DWtaAWT9Arh9JzkGSsbE5B+YnMB6uK85lncLYDNV9n+AvvpvDyFtbA2bbjMo6CqeFnHvzDjhjEFrGedrxGaYnELEo+zH5QhJv2IV35wkR7MF8Z9Vzow== basile@guiseppe






Qu'ai-je fait comme bêtise en ligne de commandes?

Quelle commande utiliser pour réparer?


(à bientôt à Lyon au JDLL)

Librement

--
Basile Starynkevitch
92340 Bourg-la-Reine, France
http://starynkevitch.net/Basile/  andhttp://refpersys.org/



Re: Question sur Debian 11

2023-03-14 Par sujet Sébastien NOBILI

Bonjour,

Le 2023-03-13 10:28, aucourto a écrit :
Question 1) J'arrive à me connecter avec mon poste serveur à un poste 
client par SSH, je voudrais envoyer un message à l'écran de chaque 
poste client et j'utilise Zenity,


Pourquoi ne pas utiliser le système de notification (via la commande 
`notify-send` par exemple) ?


2) Pour le partage de document j'utilise NFS et l'authentification 
j'utilise NIS, mais j'ai peut être du mal configuré mon réseau car au 
bout de 4 postes clients connectés mon serveur est débordé, a croire 
que j'ai 4 postes qui utilise le serveur simultanément ...Je n'arrive 
pas à voir mon erreur


Ça fait bien longtemps que je n'ai pas configuré de serveur NFS mais à 
l'époque il y en avait deux
implémentations : l'une en espace utilisateur et l'autre dans le noyau. 
La deuxième était la plus

efficace.

Est-ce bien le service `nfs-kernel-server` qui est installé et activé ?

Sébastien