Re: capture d'écran

[Cyrille]

Bonjour
flameshot  est un petit utilitaire très pratique et complet qui permet,
entre autres, ce type de capture à retardement
++
C

Re: capture d'écran

[Haricophile]

Le Wed, 8 Sep 2021 00:27:36 +0200,
hamster  a écrit :

> Le 07/09/2021 à 22:41, Kohler Gerard a écrit :
>  [...]  
> 
> La touche "printscreen" est très basique. Utilise plutot un logiciel
> de capture d'écran comme "spectacle". Tu verra, y'a plein de
> possibilités bien utiles quand on fait un tuto :
> - capturer juste une fenetre
> - capturer une zone rectangulaire que tu definis
> - capturer après un delai pour avoir le temps de dérouler un menu
> - capturer avec ou sans la souris
> - choisir l'endroit ou on enregistre et le nom qu'on donne a l'image
> - capturer plusieur images d'affilée avec des noms identiques et un 
> numéro qui s'incrémente.
> 
> Souvent, ca permet d'éviter de retravailler les images avec gimp
> ensuite.
> 

Tu peux faire tout ça depuis Gimp avec le menu "créer une image"
ホレ！(^-^)/(●～*  

Mais je pousse le bouchon, un truc comme spectacle c'est plus léger
et rapide a manipuler.

Re: capture d'écran

[hamster]

Le 07/09/2021 à 22:41, Kohler Gerard a écrit :

bonjour,

je me trouve confronté à un petit problème technique que je n'arrive pas 
à résoudre :


je suis sous bullseye, kernel 5.10.0-3-amd64, KDE plasma 5.20.5, qt 5.15.2


je n'arrive pas à prendre de screenshot du bureau lorsque j'ai un menu 
d'ouvert ou une combobox d'ouverte,


sur des versions antérieures de Debian j'y arrivais mais plus maintenant.

c'est gênant pour faire des tutos de manip de programme.

est-ce un problème de config ?

avez vous une idée pour que cela fonctionne ?


La touche "printscreen" est très basique. Utilise plutot un logiciel de 
capture d'écran comme "spectacle". Tu verra, y'a plein de possibilités 
bien utiles quand on fait un tuto :

- capturer juste une fenetre
- capturer une zone rectangulaire que tu definis
- capturer après un delai pour avoir le temps de dérouler un menu
- capturer avec ou sans la souris
- choisir l'endroit ou on enregistre et le nom qu'on donne a l'image
- capturer plusieur images d'affilée avec des noms identiques et un 
numéro qui s'incrémente.


Souvent, ca permet d'éviter de retravailler les images avec gimp ensuite.

capture d'écran

[Kohler Gerard]

bonjour,

je me trouve confronté à un petit problème technique que je n'arrive pas 
à résoudre :


je suis sous bullseye, kernel 5.10.0-3-amd64, KDE plasma 5.20.5, qt 5.15.2


je n'arrive pas à prendre de screenshot du bureau lorsque j'ai un menu 
d'ouvert ou une combobox d'ouverte,


sur des versions antérieures de Debian j'y arrivais mais plus maintenant.

c'est gênant pour faire des tutos de manip de programme.

est-ce un problème de config ?

avez vous une idée pour que cela fonctionne ?


merci de votre aide

gérard

Re: Réseau et route

[Jérémy Prego]

re,
Le 07/09/2021 à 12:01, David Martin a écrit :

Bien vu, c'est carrément ça.

J'ai viré la ligne, et hop c'est plus rapide.
Du coup à part éditer le fichier je ne vois pas comment supprimer la 
ligne automatiquement.

Tu as une idée ?

je ne connais pas assez NM pour savoir si on peut lui dire d'ignorer les 
dns envoyé par le vpn. mais il est possible qu'on puisse lui demander ...


Jerem
Le mar. 7 sept. 2021 à 11:22, Jérémy Prego > a écrit :


bonjour,

le vpn ne rajouterait-il pas ses propres dns par hasard ?

que donne : cat /etc/resolv.conf dans un terminal avec et sans le
vpn ?

Jerem
Le 07/09/2021 à 11:02, David Martin a écrit :

Bonjour,

Ca fonctionne bien, j'ai bien les deux réseaux VPN, mais c'est
très lent coté internet. Est-ce que c'est normal ?
(j'ai appliqué la modif coté NM)


Le ven. 3 sept. 2021 à 15:24, David Martin
mailto:damart.vi...@gmail.com>> a écrit :

nickel merci


Le ven. 3 sept. 2021 à 14:49, Yahoo mailto:lo.sou...@yahoo.fr>> a écrit :

Bonjour,

dans la configuration GUI de Network manager, dans le
paramétrage de compte VPN,  il y a une option à cocher
qui est : N'utiliser cette connexion que pour les
ressources sur ce réseau.

Cette option permet de laisser ta route par défaut de ta
connexion local.

Cdt.

Le 03/09/2021 à 14:25, David Martin a écrit :

Bonjour à tous,

J'utilise une connexion VPN pour des accès distant sur
des serveurs au boulot.
J'ai donc configuré une connexion VPN dans
network-manager, mais pour retrouver internet je dois le
désactiver, et ainsi de suite.

Mes collègues sous windows eux, le net fonctionne et ont
accès au serveur via le vpn.

la commande route -n avant d'activer le vpn

Destination     Passerelle  Genmask         Indic Metric
Ref    Use Iface
0.0.0.0         192.168.157.1   0.0.0.0         UG  
 100    0        0 eth0
169.254.0.0     0.0.0.0 255.255.0.0     U     1000   0  
     0 eth0
192.168.157.0   0.0.0.0 255.255.255.0   U     100    0  
     0 eth0

et après l'avoir activé

Table de routage IP du noyau
Destination     Passerelle  Genmask         Indic Metric
Ref  Use Iface
0.0.0.0         0.0.0.0 0.0.0.0         U     50     0
 0 ppp0
0.0.0.0         192.168.157.1 0.0.0.0         UG    100
   0  0 eth0
169.254.0.0     0.0.0.0 255.255.0.0     U     1000   0
 0 eth0
172.16.0.0      10.0.194.22 255.255.0.0     UG    50    
0  0 ppp0
172.17.0.0      10.0.194.22 255.255.0.0     UG    50    
0  0 ppp0
172.18.0.0      10.0.194.22 255.255.0.0     UG    50    
0  0 ppp0
172.19.0.0      10.0.194.22 255.255.0.0     UG    50    
0  0 ppp0
172.22.234.0    10.0.194.22 255.255.254.0   UG    50    
0  0 ppp0
192.0.2.1       0.0.0.0 255.255.255.255 UH    50     0
 0 ppp0
192.168.157.0   0.0.0.0 255.255.255.0   U     100    0
 0 eth0
192.168.157.1   0.0.0.0 255.255.255.255 UH    100    0
 0 eth0
195.83.235.250  192.168.157.1 255.255.255.255 UGH   100
   0  0 eth0

Comment puis-je faire ? si sous linux c'est possible

-- 
david martin





-- 
david martin




-- 
david martin






--
david martin

Re: qui utilise Frama-C ?

[Yves Rutschle]

On Mon, Sep 06, 2021 at 08:26:36AM +0200, Basile Starynkevitch wrote:
> Qui (parmi les lecteurs de la liste) utilise l'analyseur Frama-C
>  (voir https://frama-c.com/ 
> ...) et pourquoi?

Moi, j'essaye, occasionellement. Deux contextes:
- On a essayé de prouver des propriétés de sécurités dans un
  logiciel. Ça marche pour de trucs très simples, ou en y
  mettant beaucoup d'efforts.
- Pour essayer d'etre sûr de n'avoir pas de vulnérabilités
  dans un serveur Internet que j'écris. Ça marche pas du
  tout, car le traitement des chaines de caractères se passe
  pas bien.

> Merci de me répondre en privé vers bas...@starynkevitch.net

Bah, pourquoi? :)

> PS. Significativement, aucun paquet Debian ne semble avoir été analysé par
> Frama-C. Votre opinion sur le pourquoi est appréciée.

C'est trop lourd, trop compliqué, et encore trop restreint:
la preuve formelle marche mal avec du code qui travaille sur
des chaines de caractères, ou du code avec des pointeurs de
fonctions, ou du code qui utilise beaucoup de librairies
indépendantes (il faudrait des contrats ACSL pour les
fonctions de la librairie...), etc.

Hors domaine spécifique du logiciel critique embarqué, je
n'ai entendu parler que de l'ANSSI qui a développé un
validateur de certificats X.509 prouvés (Journey to a
RTE-free X509 parser, SSTIC 2019).

A+
Y.

Re: Réseau et route

[David Martin]

Bien vu, c'est carrément ça.

J'ai viré la ligne, et hop c'est plus rapide.
Du coup à part éditer le fichier je ne vois pas comment supprimer la ligne
automatiquement.
Tu as une idée ?


Le mar. 7 sept. 2021 à 11:22, Jérémy Prego  a
écrit :

> bonjour,
>
> le vpn ne rajouterait-il pas ses propres dns par hasard ?
>
> que donne : cat /etc/resolv.conf dans un terminal avec et sans le vpn ?
>
> Jerem
> Le 07/09/2021 à 11:02, David Martin a écrit :
>
> Bonjour,
>
> Ca fonctionne bien, j'ai bien les deux réseaux VPN, mais c'est très lent
> coté internet. Est-ce que c'est normal ?
> (j'ai appliqué la modif coté NM)
>
>
> Le ven. 3 sept. 2021 à 15:24, David Martin  a
> écrit :
>
>> nickel merci
>>
>>
>> Le ven. 3 sept. 2021 à 14:49, Yahoo  a écrit :
>>
>>> Bonjour,
>>>
>>> dans la configuration GUI de Network manager, dans le paramétrage de
>>> compte VPN,  il y a une option à cocher qui est : N'utiliser cette
>>> connexion que pour les ressources sur ce réseau.
>>>
>>> Cette option permet de laisser ta route par défaut de ta connexion local.
>>>
>>> Cdt.
>>> Le 03/09/2021 à 14:25, David Martin a écrit :
>>>
>>> Bonjour à tous,
>>>
>>> J'utilise une connexion VPN pour des accès distant sur des serveurs au
>>> boulot.
>>> J'ai donc configuré une connexion VPN dans network-manager, mais pour
>>> retrouver internet je dois le désactiver, et ainsi de suite.
>>>
>>> Mes collègues sous windows eux, le net fonctionne et ont accès au
>>> serveur via le vpn.
>>>
>>> la commande route -n avant d'activer le vpn
>>>
>>> Destination Passerelle  Genmask Indic Metric RefUse
>>> Iface
>>> 0.0.0.0 192.168.157.1   0.0.0.0 UG10000
>>> eth0
>>> 169.254.0.0 0.0.0.0 255.255.0.0 U 1000   00
>>> eth0
>>> 192.168.157.0   0.0.0.0 255.255.255.0   U 10000
>>> eth0
>>>
>>> et après l'avoir activé
>>>
>>> Table de routage IP du noyau
>>> Destination Passerelle  Genmask Indic Metric RefUse
>>> Iface
>>> 0.0.0.0 0.0.0.0 0.0.0.0 U 50 00
>>> ppp0
>>> 0.0.0.0 192.168.157.1   0.0.0.0 UG10000
>>> eth0
>>> 169.254.0.0 0.0.0.0 255.255.0.0 U 1000   00
>>> eth0
>>> 172.16.0.0  10.0.194.22 255.255.0.0 UG50 00
>>> ppp0
>>> 172.17.0.0  10.0.194.22 255.255.0.0 UG50 00
>>> ppp0
>>> 172.18.0.0  10.0.194.22 255.255.0.0 UG50 00
>>> ppp0
>>> 172.19.0.0  10.0.194.22 255.255.0.0 UG50 00
>>> ppp0
>>> 172.22.234.010.0.194.22 255.255.254.0   UG50 00
>>> ppp0
>>> 192.0.2.1   0.0.0.0 255.255.255.255 UH50 00
>>> ppp0
>>> 192.168.157.0   0.0.0.0 255.255.255.0   U 10000
>>> eth0
>>> 192.168.157.1   0.0.0.0 255.255.255.255 UH10000
>>> eth0
>>> 195.83.235.250  192.168.157.1   255.255.255.255 UGH   10000
>>> eth0
>>>
>>> Comment puis-je faire ? si sous linux c'est possible
>>>
>>> --
>>> david martin
>>>
>>>
>>
>> --
>> david martin
>>
>>
>
> --
> david martin
>
>
>

-- 
david martin

Re: Réseau et route

[Jérémy Prego]

bonjour,

le vpn ne rajouterait-il pas ses propres dns par hasard ?

que donne : cat /etc/resolv.conf dans un terminal avec et sans le vpn ?

Jerem
Le 07/09/2021 à 11:02, David Martin a écrit :

Bonjour,

Ca fonctionne bien, j'ai bien les deux réseaux VPN, mais c'est très 
lent coté internet. Est-ce que c'est normal ?

(j'ai appliqué la modif coté NM)


Le ven. 3 sept. 2021 à 15:24, David Martin > a écrit :


nickel merci


Le ven. 3 sept. 2021 à 14:49, Yahoo mailto:lo.sou...@yahoo.fr>> a écrit :

Bonjour,

dans la configuration GUI de Network manager, dans le
paramétrage de compte VPN,  il y a une option à cocher qui est
: N'utiliser cette connexion que pour les ressources sur ce
réseau.

Cette option permet de laisser ta route par défaut de ta
connexion local.

Cdt.

Le 03/09/2021 à 14:25, David Martin a écrit :

Bonjour à tous,

J'utilise une connexion VPN pour des accès distant sur des
serveurs au boulot.
J'ai donc configuré une connexion VPN dans network-manager,
mais pour retrouver internet je dois le désactiver, et ainsi
de suite.

Mes collègues sous windows eux, le net fonctionne et ont
accès au serveur via le vpn.

la commande route -n avant d'activer le vpn

Destination     Passerelle      Genmask   Indic Metric Ref  
 Use Iface
0.0.0.0         192.168.157.1   0.0.0.0 UG    100    0      
 0 eth0
169.254.0.0     0.0.0.0         255.255.0.0 U     1000   0  
     0 eth0
192.168.157.0   0.0.0.0         255.255.255.0 U     100    0
       0 eth0

et après l'avoir activé

Table de routage IP du noyau
Destination     Passerelle      Genmask   Indic Metric Ref  
 Use Iface
0.0.0.0         0.0.0.0         0.0.0.0   U     50     0    
   0 ppp0
0.0.0.0         192.168.157.1   0.0.0.0   UG    100    0    
   0 eth0
169.254.0.0     0.0.0.0         255.255.0.0   U     1000   0
       0 eth0
172.16.0.0      10.0.194.22     255.255.0.0   UG    50     0
       0 ppp0
172.17.0.0      10.0.194.22     255.255.0.0   UG    50     0
       0 ppp0
172.18.0.0      10.0.194.22     255.255.0.0   UG    50     0
       0 ppp0
172.19.0.0      10.0.194.22     255.255.0.0   UG    50     0
       0 ppp0
172.22.234.0    10.0.194.22     255.255.254.0   UG    50    
0        0 ppp0
192.0.2.1       0.0.0.0 255.255.255.255 UH    50     0      
 0 ppp0
192.168.157.0   0.0.0.0         255.255.255.0   U     100  
 0        0 eth0
192.168.157.1   0.0.0.0 255.255.255.255 UH    100    0      
 0 eth0
195.83.235.250  192.168.157.1 255.255.255.255 UGH   100    0
       0 eth0

Comment puis-je faire ? si sous linux c'est possible

-- 
david martin





-- 
david martin




--
david martin

Re: Réseau et route

[David Martin]

Bonjour,

Ca fonctionne bien, j'ai bien les deux réseaux VPN, mais c'est très lent
coté internet. Est-ce que c'est normal ?
(j'ai appliqué la modif coté NM)


Le ven. 3 sept. 2021 à 15:24, David Martin  a
écrit :

> nickel merci
>
>
> Le ven. 3 sept. 2021 à 14:49, Yahoo  a écrit :
>
>> Bonjour,
>>
>> dans la configuration GUI de Network manager, dans le paramétrage de
>> compte VPN,  il y a une option à cocher qui est : N'utiliser cette
>> connexion que pour les ressources sur ce réseau.
>>
>> Cette option permet de laisser ta route par défaut de ta connexion local.
>>
>> Cdt.
>> Le 03/09/2021 à 14:25, David Martin a écrit :
>>
>> Bonjour à tous,
>>
>> J'utilise une connexion VPN pour des accès distant sur des serveurs au
>> boulot.
>> J'ai donc configuré une connexion VPN dans network-manager, mais pour
>> retrouver internet je dois le désactiver, et ainsi de suite.
>>
>> Mes collègues sous windows eux, le net fonctionne et ont accès au serveur
>> via le vpn.
>>
>> la commande route -n avant d'activer le vpn
>>
>> Destination Passerelle  Genmask Indic Metric RefUse
>> Iface
>> 0.0.0.0 192.168.157.1   0.0.0.0 UG10000
>> eth0
>> 169.254.0.0 0.0.0.0 255.255.0.0 U 1000   00
>> eth0
>> 192.168.157.0   0.0.0.0 255.255.255.0   U 10000
>> eth0
>>
>> et après l'avoir activé
>>
>> Table de routage IP du noyau
>> Destination Passerelle  Genmask Indic Metric RefUse
>> Iface
>> 0.0.0.0 0.0.0.0 0.0.0.0 U 50 00
>> ppp0
>> 0.0.0.0 192.168.157.1   0.0.0.0 UG10000
>> eth0
>> 169.254.0.0 0.0.0.0 255.255.0.0 U 1000   00
>> eth0
>> 172.16.0.0  10.0.194.22 255.255.0.0 UG50 00
>> ppp0
>> 172.17.0.0  10.0.194.22 255.255.0.0 UG50 00
>> ppp0
>> 172.18.0.0  10.0.194.22 255.255.0.0 UG50 00
>> ppp0
>> 172.19.0.0  10.0.194.22 255.255.0.0 UG50 00
>> ppp0
>> 172.22.234.010.0.194.22 255.255.254.0   UG50 00
>> ppp0
>> 192.0.2.1   0.0.0.0 255.255.255.255 UH50 00
>> ppp0
>> 192.168.157.0   0.0.0.0 255.255.255.0   U 10000
>> eth0
>> 192.168.157.1   0.0.0.0 255.255.255.255 UH10000
>> eth0
>> 195.83.235.250  192.168.157.1   255.255.255.255 UGH   10000
>> eth0
>>
>> Comment puis-je faire ? si sous linux c'est possible
>>
>> --
>> david martin
>>
>>
>
> --
> david martin
>
>

-- 
david martin

Remmina et commande distante

[David Martin]

Bonjour,
J'utilise remmina pour me connecter aux différents serveurs de mon boulot.
J'ai une machine de rebond ou je me connecte en ssh pour rebondir sur
d'autre machine en ssh.

Du coup je me suis créer des petits scripts :
exemple :
#!/bin/bash
ssh toto@lamachine

j'ai donc /root/.connect/lamachine, /root/.connect/lamachine2 etc

j'ai évidement déployé les clés depuis le serveur ou je rebondit

Par contre je n'arrive pas avec rémina à lancer /root/.connect/lamachine et
les autres

J'ai testé sh /root/.connect/lamachine dans pré-commande dans les
paramètres de connextion d'une nouvelle connexion et dans post-commande, ca
ne veut pas.

Ai-je oublié quelque chose ?


--

david martin