Re: Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet Pascal Hambourg

Le 02/07/2019 à 23:42, Pascal Hambourg a écrit :

Le 02/07/2019 à 23:14, Sébastien NOBILI a écrit :

Le mardi 02 juillet 2019 à 20:05, Pascal Hambourg a écrit :

Le 02/07/2019 à 14:54, Sébastien NOBILI a écrit :


Les paquets x86 sur le système amd64 pourront rester installés, mais 
on ne pourra pas les faire fonctionner directement.


Pardon ? Il me semble que si un paquet reste installé, c'est que ses
éventuelles dépendances sont satisfaites. Qu'est-ce qui pourrait alors
l'empêcher de fonctionner ?


Le fait qu’un système intégralement amd64 ne sera pas capable 
d’exécuter un ELF

32 bits (ABI incompatible).

Mon système est intégralement amd64 :

(...)

Je vais extraire un paquet i386 et tenter d’exécuter un de ses binaires :


Tatata. Merci de relire la question. Il ne s'agit pas d'exécuter un 
binaire i386 extrait à la sauvage mais faisant partie d'un paquet 
*installé* proprement donc a priori avec toutes ses dépendances, et 
notamment une libc i386.


PS : Si tu veux faire ça, essaie plutôt avec un exécutable statique 
comme bash-static ou busybox-static.




Re : Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet nicolas . patrois
Le 02/07/2019 21:42:56, Pascal Hambourg a écrit :

> Tatata. Merci de relire la question. Il ne s'agit pas d'exécuter un 
> binaire i386 extrait à la sauvage mais faisant partie d'un paquet 
> *installé* proprement donc a priori avec toutes ses dépendances, et 
> notamment une libc i386.

Donc des applications en 32 bits munies des bibliothèques 32 bits qui vont bien 
fonctionneront dans un système 64 bits ?
Je conserve ce que me donne ldd et ça suffira ?

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...



Re: Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet Pascal Hambourg

Le 02/07/2019 à 23:14, Sébastien NOBILI a écrit :

Le mardi 02 juillet 2019 à 20:05, Pascal Hambourg a écrit :

Le 02/07/2019 à 14:54, Sébastien NOBILI a écrit :


Les paquets x86 sur le système amd64 pourront rester installés, mais on ne
pourra pas les faire fonctionner directement.


Pardon ? Il me semble que si un paquet reste installé, c'est que ses
éventuelles dépendances sont satisfaites. Qu'est-ce qui pourrait alors
l'empêcher de fonctionner ?


Le fait qu’un système intégralement amd64 ne sera pas capable d’exécuter un ELF
32 bits (ABI incompatible).

Mon système est intégralement amd64 :

 $ uname -r
 4.9.0-9-amd64
 $ dpkg --print-architecture
 amd64

Je vais extraire un paquet i386 et tenter d’exécuter un de ses binaires :


Tatata. Merci de relire la question. Il ne s'agit pas d'exécuter un 
binaire i386 extrait à la sauvage mais faisant partie d'un paquet 
*installé* proprement donc a priori avec toutes ses dépendances, et 
notamment une libc i386.




Re: Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet Sébastien NOBILI
Le mardi 02 juillet 2019 à 20:05, Pascal Hambourg a écrit :
> Le 02/07/2019 à 14:54, Sébastien NOBILI a écrit :
> > 
> > Les paquets x86 sur le système amd64 pourront rester installés, mais on ne
> > pourra pas les faire fonctionner directement.
> 
> Pardon ? Il me semble que si un paquet reste installé, c'est que ses
> éventuelles dépendances sont satisfaites. Qu'est-ce qui pourrait alors
> l'empêcher de fonctionner ?

Le fait qu’un système intégralement amd64 ne sera pas capable d’exécuter un ELF
32 bits (ABI incompatible).

Mon système est intégralement amd64 :

$ uname -r
4.9.0-9-amd64
$ dpkg --print-architecture
amd64

Je vais extraire un paquet i386 et tenter d’exécuter un de ses binaires :

$ mkdir /tmp/test-i386
$ cd /tmp/test-i386
$ wget 
http://ftp.fr.debian.org/debian/pool/main/z/zsh/zsh_5.3.1-4+b2_i386.deb
$ dpkg -x zsh_5.3.1-4+b2_i386.deb .
$ file ./bin/zsh
./bin/zsh: ELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), 
dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 2.6.32, 
BuildID[sha1]=489a61bf130e5193615088afeb4a942742e1f386, stripped
$ ./bin/zsh
bash: ./bin/zsh: Aucun fichier ou dossier de ce type

Ça ne s’exécute pas.

Sébastien



Re: Sauvegarde Windows

2019-07-02 Par sujet ajh-valmer
On Tuesday 02 July 2019 18:30:45 firenze...@orange.fr wrote:
> En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
> les données personnelles de l'ordinateur en question (Téléchargements,
> documents, images, vidéos, musiques, etc...). Je voudrais le faire avec
> un système GNU/Linux live pour être de pouvoir réutiliser ces données
> sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
> de l'extérieur (du live que j'utilise).
> Si quelqu'un qui connaît Windows peut me dire quels chemins/répertoires
> sont à privilégier pour faire la sauvegarde.
> Par avance merci de vos réponses.

Bonsoir,

il manque des infos :-)

Sur le même ordinateur ?
Si oui, en installant en parallèle Linux,
et en montant la partition Windows en ntfs-3g.



Re: Sauvegarde Windows

2019-07-02 Par sujet Stéphane RIGOULOT - TERRITOIRE D'ENERGIE 90




Le 02.07.2019 18:49, Basile Starynkevitch a écrit :

On 7/2/19 6:30 PM, firenze...@orange.fr wrote:

Bonjour,

En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
les données personnelles de l'ordinateur en question (Téléchargements,
documents, images, vidéos, musiques, etc...). Je voudrais le faire 
avec

un système GNU/Linux live pour être de pouvoir réutiliser ces données
sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
de l'extérieur (du live que j'utilise).

Si quelqu'un qui connaît Windows peut me dire quels 
chemins/répertoires

sont à privilégier pour faire la sauvegarde.



A mon avis ça n'a aucune chance d'être automatisable.

Prenons par exemple le cas des téléchargements. Certains (et la
plupart) sont juste (conceptuellement) un cache de quelque chose qui
prend quelques minutes à télécharger à nouveau.

D'autres sont des documents qu'on a payés, parfois fort chers, pour
les télécharger. Certains documents electroniques coûtent des
centaines d'euros (par exemple, des articles scientifiques).

Et sous Linux les deux vont dans Téléchargements. Je mets ma main au
feu que sous Windows c'est semblable.

C'est à l'utilisateur de ranger ses fichiers dans des répertoires
convenablement nommés, définis, utilisés.


Bonjour,

j'utilise un outil qui s'appelle Fab's autobackup : 
https://www.fpnet.fr/
Le principe consiste à cocher les éléments que l'on souhaite 
sauvegarder. Très utile dans le cas de changement de matos windowsiste.

Bonne recherche



Re: Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet Pascal Hambourg

Le 02/07/2019 à 14:54, Sébastien NOBILI a écrit :


Les paquets x86 sur le système amd64 pourront rester installés, mais on ne
pourra pas les faire fonctionner directement.


Pardon ? Il me semble que si un paquet reste installé, c'est que ses 
éventuelles dépendances sont satisfaites. Qu'est-ce qui pourrait alors 
l'empêcher de fonctionner ?




Re: Sauvegarde Windows

2019-07-02 Par sujet Belaïd
Il veut démarrer avec un live Linux,  les dossiers cachés sont directement
visible donc automatiquement copier

Le mar. 2 juil. 2019 19:30, Fernand  a écrit :

> Bonjour,
>
>
> il faut effectivement sauvegarder le(s) répertoire(s) MAIS en pensant
> bien aux dossiers cachés, en particulier le dossier AppData qui
> contient, comme l'indique son nom, des données d'application. C'est là
> par exemple que l'on retrouve le dossier profile de Thunderbird avec
> toute sa configuration et tous ses mails !
>
> Donc globalement il faut sauvegarder "C:\Utilisateurs" avec donc les
> dossiers cachés. Ça c'est pour les machines mono-disque. Si plusieurs
> disques 
>
> Si ça peut aider,
>
>
> Fernand
>
>
>
> Le 02/07/2019 à 18:49, Basile Starynkevitch a écrit :
> >
> >
> >
> > On 7/2/19 6:30 PM, firenze...@orange.fr wrote:
> >> Bonjour,
> >>
> >> En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
> >> les données personnelles de l'ordinateur en question (Téléchargements,
> >> documents, images, vidéos, musiques, etc...). Je voudrais le faire avec
> >> un système GNU/Linux live pour être de pouvoir réutiliser ces données
> >> sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
> >> de l'extérieur (du live que j'utilise).
> >>
> >> Si quelqu'un qui connaît Windows peut me dire quels chemins/répertoires
> >> sont à privilégier pour faire la sauvegarde.
> >
> >
> > A mon avis ça n'a aucune chance d'être automatisable.
> >
> > Prenons par exemple le cas des téléchargements. Certains (et la
> > plupart) sont juste (conceptuellement) un cache de quelque chose qui
> > prend quelques minutes à télécharger à nouveau.
> >
> > D'autres sont des documents qu'on a payés, parfois fort chers, pour
> > les télécharger. Certains documents electroniques coûtent des
> > centaines d'euros (par exemple, des articles scientifiques).
> >
> > Et sous Linux les deux vont dans Téléchargements. Je mets ma main au
> > feu que sous Windows c'est semblable.
> >
> > C'est à l'utilisateur de ranger ses fichiers dans des répertoires
> > convenablement nommés, définis, utilisés.
> >
> >
>
>


Re: Sauvegarde Windows

2019-07-02 Par sujet Fernand
Bonjour,


il faut effectivement sauvegarder le(s) répertoire(s) MAIS en pensant
bien aux dossiers cachés, en particulier le dossier AppData qui
contient, comme l'indique son nom, des données d'application. C'est là
par exemple que l'on retrouve le dossier profile de Thunderbird avec
toute sa configuration et tous ses mails !

Donc globalement il faut sauvegarder "C:\Utilisateurs" avec donc les
dossiers cachés. Ça c'est pour les machines mono-disque. Si plusieurs
disques 

Si ça peut aider,


Fernand



Le 02/07/2019 à 18:49, Basile Starynkevitch a écrit :
>
>
>
> On 7/2/19 6:30 PM, firenze...@orange.fr wrote:
>> Bonjour,
>>
>> En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
>> les données personnelles de l'ordinateur en question (Téléchargements,
>> documents, images, vidéos, musiques, etc...). Je voudrais le faire avec
>> un système GNU/Linux live pour être de pouvoir réutiliser ces données
>> sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
>> de l'extérieur (du live que j'utilise).
>>
>> Si quelqu'un qui connaît Windows peut me dire quels chemins/répertoires
>> sont à privilégier pour faire la sauvegarde.
>
>
> A mon avis ça n'a aucune chance d'être automatisable.
>
> Prenons par exemple le cas des téléchargements. Certains (et la
> plupart) sont juste (conceptuellement) un cache de quelque chose qui
> prend quelques minutes à télécharger à nouveau.
>
> D'autres sont des documents qu'on a payés, parfois fort chers, pour
> les télécharger. Certains documents electroniques coûtent des
> centaines d'euros (par exemple, des articles scientifiques).
>
> Et sous Linux les deux vont dans Téléchargements. Je mets ma main au
> feu que sous Windows c'est semblable.
>
> C'est à l'utilisateur de ranger ses fichiers dans des répertoires
> convenablement nommés, définis, utilisés.
>
>



Re: Sauvegarde Windows

2019-07-02 Par sujet Basile Starynkevitch





On 7/2/19 6:30 PM, firenze...@orange.fr wrote:

Bonjour,

En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
les données personnelles de l'ordinateur en question (Téléchargements,
documents, images, vidéos, musiques, etc...). Je voudrais le faire avec
un système GNU/Linux live pour être de pouvoir réutiliser ces données
sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
de l'extérieur (du live que j'utilise).

Si quelqu'un qui connaît Windows peut me dire quels chemins/répertoires
sont à privilégier pour faire la sauvegarde.



A mon avis ça n'a aucune chance d'être automatisable.

Prenons par exemple le cas des téléchargements. Certains (et la plupart) 
sont juste (conceptuellement) un cache de quelque chose qui prend 
quelques minutes à télécharger à nouveau.


D'autres sont des documents qu'on a payés, parfois fort chers, pour les 
télécharger. Certains documents electroniques coûtent des centaines 
d'euros (par exemple, des articles scientifiques).


Et sous Linux les deux vont dans Téléchargements. Je mets ma main au feu 
que sous Windows c'est semblable.


C'est à l'utilisateur de ranger ses fichiers dans des répertoires 
convenablement nommés, définis, utilisés.



--
Basile STARYNKEVITCH   == http://starynkevitch.net/Basile
opinions are mine only - les opinions sont seulement miennes
Bourg La Reine, France



Re: Sauvegarde Windows

2019-07-02 Par sujet Belaïd
Bonjour,

Tu peux juste sauvegarder le dossier perso de ton utilisateur qui est
localisé dans C:\Utilisateurs\compteUtilisateur (ou
C:\Users\compteUtilisateur). Ce dossier regroupe toute les données de
l'utilisateur (les données mais pas les applications)

Le mar. 2 juil. 2019 18:31,  a écrit :

> Bonjour,
>
> En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
> les données personnelles de l'ordinateur en question (Téléchargements,
> documents, images, vidéos, musiques, etc...). Je voudrais le faire avec
> un système GNU/Linux live pour être de pouvoir réutiliser ces données
> sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
> de l'extérieur (du live que j'utilise).
>
> Si quelqu'un qui connaît Windows peut me dire quels chemins/répertoires
> sont à privilégier pour faire la sauvegarde.
>
> Par avance merci de vos réponses.
>
>


Sauvegarde Windows

2019-07-02 Par sujet firenze . rt
Bonjour,

En vue d'une éventuelle migration vers GNU/Linux, je dois sauvegarder
les données personnelles de l'ordinateur en question (Téléchargements,
documents, images, vidéos, musiques, etc...). Je voudrais le faire avec
un système GNU/Linux live pour être de pouvoir réutiliser ces données
sous GNU/Linux. Le hic c'est que l'OS de M$ est un véritable dédale vu
de l'extérieur (du live que j'utilise).

Si quelqu'un qui connaît Windows peut me dire quels chemins/répertoires
sont à privilégier pour faire la sauvegarde.

Par avance merci de vos réponses.



Re: [HS] Re: Remplir automatiquement un formulaire web

2019-07-02 Par sujet G2PC
> Dans ce cas, poste ce formulaire manuellement une fois et regarde en
> console la requête http que ça génère, puis clic droit dessus et "copy as
> curl", puis nettoyage des headers inutiles (cookie de session par ex).
>
> Si la page qui réceptionne le formulaire veut une session, il va falloir
> une (ou plusieurs s'il faut s'authentifier) autre commande curl avant pour
> récupérer un cookie de session.


Quelques notes dans un pâté largement incomplet :
https://wiki.visionduweb.fr/index.php?title=Un_anneau_pour_les_gouverner_tous



Re: utiliser la carte graphique Radeon d'un pirtable HP 15_bw0xx

2019-07-02 Par sujet fw
le simplissime "arandr" te permettras peut-erte de  de faire certains 
choix  qui pourront résoudre le PB ...


(apt install arandr)

Cordialement

"Dire que l'on s'en fiche du droit à la vie privée sous prétexte qu'on a rien à 
cacher,
c'est comme déclarer que l'on se fiche du droit à la liberté d'expression sous 
prétexte qu'on a rien à dire."
Edward Snowden



Re: utiliser la carte graphique Radeon d'un portable HP 15_bw0xx

2019-07-02 Par sujet Erwan David


Le 02/07/2019 à 16:49, Christian Quentin a écrit :
>
> J'ai un peu avancé avec les pistes proposées : il semble qu'en fait
> les 2 cartes soient bien pilotées (une AMD Stoney intégrée et une AMD
> Hainan dédiée).
>
> A priori, Debian travaille par défaut sur la carte intégrée (AMD Stoney).
>
> Pour déclencher l'utilisation de la carte AMD Hainan, pour le moment,
> j'ai l'impression qu'il faut passer par la ligne de commande en
> préfixant la commande par DRI_PRIME=1
>
> J'ai aussi vu qu'on pouvait compléter la ligne "linux" de grub pour
> qu'il utilise une carte plutôt que l'autre. Du coup, je pense que la
> carte spécifiée serait utilisée systématiquement (je peux me tromper).
>
>
> Finalement, existe-t-il un moyen de spécifier à la demande (ou mieux
> par logiciel) qu'il faut utiliser la carte dédiée ? Ou bien, ne pas
> s'en pré-occuper car la bascule se ferait automatiquement ?
>
> Merci de votre éclairage
>
Peut-être y a-t-il un réglage dans le firmware (BIOS ou UEFI) permettant
de spécifier quelle carte utiliser ou de désactiver la Stoney ?



Re: utiliser la carte graphique Radeon d'un portable HP 15_bw0xx

2019-07-02 Par sujet Christian Quentin
J'ai un peu avancé avec les pistes proposées : il semble qu'en fait les
2 cartes soient bien pilotées (une AMD Stoney intégrée et une AMD Hainan
dédiée). 

A priori, Debian travaille par défaut sur la carte intégrée (AMD
Stoney). 

Pour déclencher l'utilisation de la carte AMD Hainan, pour le moment,
j'ai l'impression qu'il faut passer par la ligne de commande en
préfixant la commande par DRI_PRIME=1 

J'ai aussi vu qu'on pouvait compléter la ligne "linux" de grub pour
qu'il utilise une carte plutôt que l'autre. Du coup, je pense que la
carte spécifiée serait utilisée systématiquement (je peux me tromper). 

Finalement, existe-t-il un moyen de spécifier à la demande (ou mieux par
logiciel) qu'il faut utiliser la carte dédiée ? Ou bien, ne pas s'en
pré-occuper car la bascule se ferait automatiquement ? 

Merci de votre éclairage 

Christian

Re: Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet ajh-valmer
On Tuesday 02 July 2019 14:54:22 Sébastien NOBILI wrote:
> > Et ça marche s’il reste des paquets obsolètes en x86 ?
> Une fois que les briques les plus basses système (noyau, libc) sont passées
> en amd64, les binaires x86 ne s’exécutent plus (et réciproquement), 
> ce qui a été la partie la plus complexe de la migration du serveur et de ses
> conteneurs (j’ai dû 
> faire la migration des conteneurs sur un machine externe qui était en amd64
> pour limiter l’interruption de service).
> Les paquets x86 sur le système amd64 pourront rester installés, mais on ne
> pourra pas les faire fonctionner directement.
> À une époque, je faisais de la compilation croisée pour ARM, et j’utilisais
> binfmt_mist [1]. Ça pourrait répondre à ton besoin, mais n’en attends pas
> trop niveau perfs…
>https://en.wikipedia.org/wiki/Binfmt_misc

> Voilà la lecture qui m’a le plus aidé dans cette opération :
> https://wiki.debian.org/CrossGrading
>http://blog.calhariz.com/post/2017/07/30/Crossgrading-a-complex-Desktop-and-Debian-Developer-machine-running-Debian-9%2C-another-try#c43259761

Merci de vos réponses instructives.

J'opterai pour une nouvelle installation en 64 bits,
après Buster sortie.
J'ai une partition /home distincte.

A. Valmer



Re : Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet nicolas . patrois
Le 02/07/2019 12:54:22, Sébastien NOBILI a écrit :

> Une fois que les briques les plus basses système (noyau, libc) sont
> passées en amd64, les binaires x86 ne s’exécutent plus (et réciproquement), ce
> qui a été la partie la plus complexe de la migration du serveur et de ses
> conteneurs (j’ai dû faire la migration des conteneurs sur un machine externe 
> qui était en
> amd64 pour limiter l’interruption de service).

> Les paquets x86 sur le système amd64 pourront rester installés, mais
> on ne pourra pas les faire fonctionner directement.

> À une époque, je faisais de la compilation croisée pour ARM, et
> j’utilisais binfmt_mist [1]. Ça pourrait répondre à ton besoin, mais n’en 
> attends
> pas trop niveau perfs…

OK pour les paquets.
Il n’y a pas de rétrocompatibilité pour les autres applications ?
Cela veut dire que les jeux proprio ne marcheront plus ?

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...



Re: Re : Passer de Debian Stretch 32 bits à 64 bits

2019-07-02 Par sujet Sébastien NOBILI
Le samedi 29 juin 2019 à 19:25, nicolas.patr...@gmail.com a écrit :
> > Ça peut se faire. Je l’ai fait sur plusieurs systèmes, notamment mon
> > serveur qui héberge plusieurs conteneurs LXC (donc une architecture un peu
> > complexe).
> 
> Et ça marche s’il reste des paquets obsolètes en x86 ?

Une fois que les briques les plus basses système (noyau, libc) sont passées en
amd64, les binaires x86 ne s’exécutent plus (et réciproquement), ce qui a été la
partie la plus complexe de la migration du serveur et de ses conteneurs (j’ai dû
faire la migration des conteneurs sur un machine externe qui était en amd64
pour limiter l’interruption de service).

Les paquets x86 sur le système amd64 pourront rester installés, mais on ne
pourra pas les faire fonctionner directement.

À une époque, je faisais de la compilation croisée pour ARM, et j’utilisais
binfmt_mist [1]. Ça pourrait répondre à ton besoin, mais n’en attends pas trop
niveau perfs…

1: https://en.wikipedia.org/wiki/Binfmt_misc

Sébastien



[HS] Re: Remplir automatiquement un formulaire web

2019-07-02 Par sujet Daniel Caillibaud
Le 01/07/19 à 22h37, Pierre ESTREM  a écrit :
> Peut-être ai-je mal compris... mais j'utiliserai pour faire cela la 
> commande curl.

Dans ce cas, poste ce formulaire manuellement une fois et regarde en
console la requête http que ça génère, puis clic droit dessus et "copy as
curl", puis nettoyage des headers inutiles (cookie de session par ex).

Si la page qui réceptionne le formulaire veut une session, il va falloir
une (ou plusieurs s'il faut s'authentifier) autre commande curl avant pour
récupérer un cookie de session.

-- 
Daniel

Quelqu'un parle de tuer Zani, et Panzani...



Re: Expression régulière

2019-07-02 Par sujet Daniel Caillibaud
Le 01/07/19 à 21h49, Migrec  a écrit :
> Mais j'ai encore du mal à comprendre ce que l'expression cible.

Elle est très large, car elle cible toute chaîne contenant un caractère "non
espace" précédée d'autant de caractères qu'on veut (0 inclus) suivie
d'autant de caractères qu'on veut (idem).

Donc en fait la seule chose qu'elle ne match pas est une chaine ne
contenant aucun caractère "non espace" (ou tabulation ou …), soit une
chaîne vide ou ne contenant que des espaces|tabulations.

(.|\n)*[^\s](.|\n)*
^^ n'importe quel caractère (fin de ligne compris)
  ^ en 0 à N exemplaires
   ^ un caractère non espace
^^ n'importe quel caractère (fin de ligne compris)
  ^ en 0 à N exemplaires

Je vois pas trop dans quel cas ça peut être utile, mais je connais pas le
contexte.

-- 
Daniel

On réalise qu'une femme est de la dynamite quand on la laisse tomber.
Marcel Pagnol.



Re: Remplir automatiquement un formulaire web

2019-07-02 Par sujet Ph . Gras


>> Une idée si Debian a dans ses dépôts un outils pour remplir des formulaires 
>> web basiques de manière automatique ?

xRumer :-P



Re: utiliser la carte graphique Radeon d'un pirtable HP 15_bw0xx

2019-07-02 Par sujet didier gaumet
Tu trouveras peut-être quelques pistes ici:
 https://wiki.debian.org/fr/AtiHowTo