vim et le correcteur orthographique

2017-03-29 Par sujet Frederic Robert 
Bonsoir,

Comment allez vous? J'ai téléchargé le dictionnaire français à partir de 
l'adresse ftp.vim.org vers mon répertoire .vim/spell. Est-ce qu'il y a des 
paquets dans la distribution pour mettre à jour les dictionnaires sans devoir 
vérifier manuellement?

Bonne soirée,

-- 
Frederic Robert

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet G2PC 


Le 29/03/2017 à 14:29, Alexandre Delanoë a écrit :
> Le 29 mars 17, vers 14:19, G2PC ecrivait:
>> Le 28/03/2017 à 19:55, Alexandre Delanoë a écrit :
>>> Le 16 mars 17, vers 16:43, Alexandre Delanoë ecrivait:
 Bonjour,
 pour ceux qui ne pourront pas se rendre à Paris, le meetup sera
 retransmis en streaming et vous pourrez poser vos questions sur le chan
 IRC #debian-france (OFTC).
>>> Voici le lien pour le streaming:
>>>
>>> http://webcast.iscpif.fr/stream/stream.webm
>>>
>>> Bon meetup!
>>>
>> Bonjour,
> Bonjour,
>
>> Comment visionner une vidéo .webm avec Debian ( Ubuntu ) ?
> Lorsque le lien était actif (hier soir durant l'événement), le stream
> était lisible dans le navigateur web.
>
> Pour le moment le lien n'est plus actif donc il n'est pas lisible
> quelque soit le logiciel et le système d'exploitation.
>
> Bonne journée,

Ha bah oui ok, logique ! Merci.
Ok, le direct est fini, donc, pas de rediff.
Ok pour VLC.
[résolu]

Re: (HS?) problèmes de programmation

2017-03-29 Par sujet Basile Starynkevitch 



On 29/03/17 17:48, Basile Starynkevitch wrote:
Mon problème initial est du même ordre. Il est très connu, expliqué 
par une note dans la page de manuel de sigaction. Le signal SIGFPE, 
s'il est ignoré ou récupéré, provoque un bouclage permanent sur 
l'instruction qui porte une division par zéro ou même 'idiv' sur plus 
petit entier (négatif) divisé par -1.


J'ai observé les comportement de l'assembleur, de C et de Ada sur ce 
genre de problème et Ada, par sa norme même, est tenu de récupérer ce 
signal en le transformant en l'exception CONSTRAINT_ERROR. j'aimerais 
faire de même, donc, depuis la routine de traitement du signal, 
détourner le retour. Y a-t-il un moyen de le faire sans aller 
bricoler directement dans la pile?


Oui, voir http://softwareengineering.stackexchange.com/a/343797/40065 
(qui parle de traiter SIGSEGV, mais tu peux adapter à SIGFPE).



Et en fait http://stackoverflow.com/a/21204438/841108 est peut-être plus 
précis.


A bientôt.

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

Re: (HS?) problèmes de programmation

2017-03-29 Par sujet Basile Starynkevitch 

Bonjour


J'espère que tu peux lire en anglais les références que je donne (j'ai 
déjà répondu récemment en anglais sur des forums à des questions très 
proches des tiennes)




On 29/03/17 14:54, Philippe Deleval wrote:

Bonjour à tous

j'ai changé de machine depuis l'été 2016, j'en ai profité pour passer 
de whezzie à jessie, mais j'aurais aimé rester en 32 bits (ce qui 
m'aurait simplifié le travail en programmation) et j'ai été de fait 
contraint de passer à 64 bits. Ma machine, de "marque" gigabyte, vient 
de anyware (distributeur de lenovo) qui se trouve à un bon quart 
d'heure à pieds de chez moi (Conflans Sainte Honorine). J'ai sur cette 
machine une jessie avec noyau 3.16.0-4-amd64.


A mon avis passer en 64 bits est un avantage pour écrire un compilateur, 
pas un inconvénient. En particulier grâce aux plus nombreux registres et 
à l'ABI mieux foutue. Il faut évidemment lire 
https://github.com/hjl-tools/x86-psABI/wiki/x86-64-psABI-r252.pdf et 
voir http://stackoverflow.com/q/18133812/841108


J'ai deux gros problèmes de programmation en assembleur. je n'ai pas 
la prétention d'affirmer qu'il faut tout écrire en assembleur, mais je 
compte bien écrire des programmes qui le font pour moi, en bref des 
compilateurs.  Je n'ai pas envie de passer par gcc, s'il faut 
l'expliquer, je trollerai ce vendredi. Je commence par mon deuxième 
problème, qui m'est apparu en essayant d'explorer le premier!


C'est du code libre ton compilateur? Où est le code source? Même si rien 
ne marche, ça vaut mieux de publier (dès maintenant) le code sous une 
license libre (sur github ou ailleurs). J'aime écrire des compilateurs, 
mais je voudrais comprendre ta motivation : est-ce d'apprendre à 
optimiser, ou bien d'inventer un language de programmation chouette? (ta 
vie est trop courte pour bien faire les deux à la fois). Si tu as lu 
https://mitpress.mit.edu/sicp/ et 
https://en.wikipedia.org/wiki/Compilers:_Principles,_Techniques,_and_Tools 
(deux lectures indispensables quand on s'intéresse à la compilation) il 
faut aussi lire Principes d'implantation de Scheme et Lisp (en français, 
passionnant à lire, mais parfois touffu) de C.Queinnec 
http://paracamplus.com/spip/?page=livre=978-2-916466-03-3 et je 
conseille aussi -en anglais- Programming Language Pragmatics 
https://www.cs.rochester.edu/~scott/pragmatics/



(je connais la compilation, je suis l'architecte et le développeur 
principal de GCC MELT, voir http://gcc-melt.org/ pour les détails; et 
donc je connais un peu les internes de GCC)


Par ailleurs, si tu veux faire un compilateur, tu pourrais générer du 
code C ; voir 
https://www.quora.com/Are-there-any-disadvantages-of-using-C-as-the-intermediate-language-in-compilation-process/answer/Basile-Starynkevitch 
& http://softwareengineering.stackexchange.com/a/257873/40065
ou tu pourrais envisager d'utiliser libgccjit 
https://gcc.gnu.org/onlinedocs/jit/ (ou d'autres bibliothèques de 
compilation just-in-time).
Le point est que générer du code assembleur est facile, mais générer du 
code assembleur efficace est très chronophage (ce n'est pas en vain que 
GCC dépasse la dizaine de millions de lignes, dont la plupart sont 
consacrées aux optimisations).




Il est usuel de passer à un programme un nom de ficher à ouvrir par 
argument sur ligne de commande. En C, argc() sert à cela, en Ada le 
"package" de bibliothèque ADA.COMMAND_LINE fait exactement le même 
boulot. Vu de l'assembleur, toutes ces informations sont accédées par 
une liste de pointeurs dans la pile en début d'exécution, un petit peu 
de travail permet de lire les arguments (et aussi l'environnement) 
comme en C.


Il se trouve que sous wheezy, je pouvais transmettre directement à la 
fonction open du noyau (accédée par interruption 80h) ce pointeur en 
pile. Avec jessie et le noyau cité ci-dessus (et, si mon souvenir est 
bon, de même pour le noyau installé en été 2016), j'obtiens l'erreur 
EFAULT, même en essayant sur compte root. Si je copie le nom de 
fichier argument dans une zone mémoire du programme, tout marche bien. 
Ce n'est pas une question de donnée puisque la copie ne change rien au 
nom, 0 final compris. Est-ce un bug du noyau?


Probablement non. Un noyau bogué fait un crash système. Ce n'est pas le 
cas. Je crois que les appels systèmes utilisent SYSENTER (en Linux 
x86-64); si tu lis l'anglais voir 
http://softwareengineering.stackexchange.com/a/343797/40065 (c'est moi 
qui l'ai rédigé).


J'aurais utilisé strace à ta place (sur ton binaire). Puis gdb.



Question annexe: quand je me pose ce genre de questions, ne 
devrais-pas pas fréquenter la liste des développeurs? Pourtant, je 
suis développeur SOUS Linux, et non DE Linux.


Mon problème initial est du même ordre. Il est très connu, expliqué 
par une note dans la page de manuel de sigaction. Le signal SIGFPE, 
s'il est ignoré ou récupéré, provoque un bouclage permanent sur 
l'instruction qui porte une division par zéro ou même 'idiv' sur plus 
petit entier (négatif) divisé

(HS?) problèmes de programmation

2017-03-29 Par sujet Philippe Deleval 

Bonjour à tous

j'ai changé de machine depuis l'été 2016, j'en ai profité pour passer de 
whezzie à jessie, mais j'aurais aimé rester en 32 bits (ce qui m'aurait 
simplifié le travail en programmation) et j'ai été de fait contraint de 
passer à 64 bits. Ma machine, de "marque" gigabyte, vient de anyware 
(distributeur de lenovo) qui se trouve à un bon quart d'heure à pieds de 
chez moi (Conflans Sainte Honorine). J'ai sur cette machine une jessie 
avec noyau 3.16.0-4-amd64.


J'ai deux gros problèmes de programmation en assembleur. je n'ai pas la 
prétention d'affirmer qu'il faut tout écrire en assembleur, mais je 
compte bien écrire des programmes qui le font pour moi, en bref des 
compilateurs.  Je n'ai pas envie de passer par gcc, s'il faut 
l'expliquer, je trollerai ce vendredi. Je commence par mon deuxième 
problème, qui m'est apparu en essayant d'explorer le premier!


Il est usuel de passer à un programme un nom de ficher à ouvrir par 
argument sur ligne de commande. En C, argc() sert à cela, en Ada le 
"package" de bibliothèque ADA.COMMAND_LINE fait exactement le même 
boulot. Vu de l'assembleur, toutes ces informations sont accédées par 
une liste de pointeurs dans la pile en début d'exécution, un petit peu 
de travail permet de lire les arguments (et aussi l'environnement) comme 
en C.


Il se trouve que sous wheezy, je pouvais transmettre directement à la 
fonction open du noyau (accédée par interruption 80h) ce pointeur en 
pile. Avec jessie et le noyau cité ci-dessus (et, si mon souvenir est 
bon, de même pour le noyau installé en été 2016), j'obtiens l'erreur 
EFAULT, même en essayant sur compte root. Si je copie le nom de fichier 
argument dans une zone mémoire du programme, tout marche bien. Ce n'est 
pas une question de donnée puisque la copie ne change rien au nom, 0 
final compris. Est-ce un bug du noyau?


Question annexe: quand je me pose ce genre de questions, ne devrais-pas 
pas fréquenter la liste des développeurs? Pourtant, je suis développeur 
SOUS Linux, et non DE Linux.


Mon problème initial est du même ordre. Il est très connu, expliqué par 
une note dans la page de manuel de sigaction. Le signal SIGFPE, s'il est 
ignoré ou récupéré, provoque un bouclage permanent sur l'instruction qui 
porte une division par zéro ou même 'idiv' sur plus petit entier 
(négatif) divisé par -1.


J'ai observé les comportement de l'assembleur, de C et de Ada sur ce 
genre de problème et Ada, par sa norme même, est tenu de récupérer ce 
signal en le transformant en l'exception CONSTRAINT_ERROR. j'aimerais 
faire de même, donc, depuis la routine de traitement du signal, 
détourner le retour. Y a-t-il un moyen de le faire sans aller bricoler 
directement dans la pile?


Si quelqu'un a des réponses, je serais bien heureux d'avoir des 
conseils, ne serait-ce que sur la question: dois-je aller dans la liste 
des développeurs?


Amicalement

Philippe Deleval

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet Frederic Robert 
On Wed, Mar 29, 2017 at 02:19:34PM +0200, G2PC wrote:
> Bonjour,
> 
> Comment visionner une vidéo .webm avec Debian ( Ubuntu ) ?

Bonjour,

Mplayer ou Vlc par exemple

Bonne journée,

-- 
Frederic Robert

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet Alexandre Delanoë 
Le 29 mars 17, vers 14:19, G2PC ecrivait:
> 
> Le 28/03/2017 à 19:55, Alexandre Delanoë a écrit :
> > Le 16 mars 17, vers 16:43, Alexandre Delanoë ecrivait:
> >> Bonjour,
> >> pour ceux qui ne pourront pas se rendre à Paris, le meetup sera
> >> retransmis en streaming et vous pourrez poser vos questions sur le chan
> >> IRC #debian-france (OFTC).
> > Voici le lien pour le streaming:
> >
> > http://webcast.iscpif.fr/stream/stream.webm
> >
> > Bon meetup!
> >
> Bonjour,

Bonjour,

> Comment visionner une vidéo .webm avec Debian ( Ubuntu ) ?

Lorsque le lien était actif (hier soir durant l'événement), le stream
était lisible dans le navigateur web.

Pour le moment le lien n'est plus actif donc il n'est pas lisible
quelque soit le logiciel et le système d'exploitation.

Bonne journée,
-- 
Alexandre Delanoë (anoe)


signature.asc
Description: PGP signature

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet G2PC 

Le 28/03/2017 à 19:55, Alexandre Delanoë a écrit :
> Le 16 mars 17, vers 16:43, Alexandre Delanoë ecrivait:
>> Bonjour,
>> pour ceux qui ne pourront pas se rendre à Paris, le meetup sera
>> retransmis en streaming et vous pourrez poser vos questions sur le chan
>> IRC #debian-france (OFTC).
> Voici le lien pour le streaming:
>
> http://webcast.iscpif.fr/stream/stream.webm
>
> Bon meetup!
>
Bonjour,

Comment visionner une vidéo .webm avec Debian ( Ubuntu ) ?

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet MENGUAL Jean-Philippe 
C'est hors sujet et un spam. Et s'il y a un humain derrière, il devra
savoir que mener campagne comme ça est un échec annoncé dès le départ.
Il dessert son candidat en polluant les mailing de cette façon.

Cordialement,


Le 29/03/2017 à 11:27, Klaus Becker a écrit :
> On mercredi 29 mars 2017 10:57:35 CEST Patrice Constans wrote:
> 
>> *On s'en tape !**
> 
>> **Nous sommes salariés et faute d'être complètement débiles nous ne 
> 
>> pouvons voter que Mélanchon...**
> 
>> **C'est quand même le Front Populaire qui nous a tout donné et je n'ai 
> 
>> pas 1 million d'Euros en actions.**
> 
>> *
> 
>>
> 
>> *Bonne journée à tous, Patrice.*
> 
>  
> 
> c'est plutôt hors sujet, mais je suis bien d'accord avec toi.
> 
>  
> 
> librement
> 
>  
> 
> Klaus
> 

-- 

Jean-Philippe MENGUAL

HYPRA, progressons ensemble

Tél.: 01 84 73 06 61
Mail: cont...@hypra.fr

Site Web: http://hypra.fr

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet φ Dhénin Jean-Jacques 
Le 29 mars 2017 à 11:27, Klaus Becker  a écrit :

> On mercredi 29 mars 2017 10:57:35 CEST Patrice Constans wrote:
>
> > *On s'en tape !**
>
> > **Nous sommes salariés et faute d'être complètement débiles nous ne
>
> > pouvons voter que Mélanchon...**
>
> > **C'est quand même le Front Populaire qui nous a tout donné et je n'ai
>
> > pas 1 million d'Euros en actions.**
>
> > *
>
> >
>
> > *Bonne journée à tous, Patrice.*
>
>
>
> c'est plutôt hors sujet, mais je suis bien d'accord avec toi.
>
>
>
> librement
>
>
>
> Klaus
>


Moi aussi

[image: Images intégrées 1]

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet Klaus Becker 
On mercredi 29 mars 2017 10:57:35 CEST Patrice Constans wrote:
> *On s'en tape !**
> **Nous sommes salariés et faute d'être complètement débiles nous ne 
> pouvons voter que Mélanchon...**
> **C'est quand même le Front Populaire qui nous a tout donné et je n'ai 
> pas 1 million d'Euros en actions.**
> *
> 
> *Bonne journée à tous, Patrice.*

c'est plutôt hors sujet, mais je suis bien d'accord avec toi.

librement

Klaus

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet Patrice Constans 

*On s'en tape !**
**Nous sommes salariés et faute d'être complètement débiles nous ne 
pouvons voter que Mélanchon...**
**C'est quand même le Front Populaire qui nous a tout donné et je n'ai 
pas 1 million d'Euros en actions.**

*

*Bonne journée à tous, Patrice.*


Le 29/03/2017 à 10:39, Alexandre Delanoë a écrit :

Le 29 mars 17, vers 07:57, Frederic Robert ecrivait:

On Tue, Mar 28, 2017 at 07:55:46PM +0200, Alexandre Delanoë wrote:

Voici le lien pour le streaming:

http://webcast.iscpif.fr/stream/stream.webm

Bonjour,

Bonjour,


Est-ce que les conférences ont été enregistrées?

Oui! Avec l'autorisation préalable des intervenants, je publierai les
vidéos.

Bonne journée,



--
"Mai los ases son vièlhs, mai venon fats  !"

const...@univ-perp.fr

Patrice CONSTANS
Installations Informatiques
I.U.T. de Perpignan,
Dept. Statistique et Informatique Décisionnelle
11000 CARCASSONNE
Tel : 04 68 47 74 57
Fax : 04 68 47 71 63

ATTENTION Le message contenu dans cet email ainsi que dans tout fichier attaché 
est destiné exclusivement aux personnes dont le nom figure ci-dessus. Il peut 
contenir des informations confidentielles ou protégées par le secret 
professionnel et dont la divulgation est strictement prohibée. Si vous avez 
reçu cet email par erreur,détruisez-en le contenu. Vous n'êtes pas autorisé, 
dans cette hypothèse, à copier, distribuer ou conserver ce message. Merci.

WARNING This information in this mail and in any attachments is intended for 
the above-mentioned addressees only. It may contain privileged or confidential 
informationthe review, dissemination or disclosure of which is strictly 
prohibited. If you have received this email by error, please destroy it. In 
this case, you are not authorisedto disclose, copy, distribute, or retain this 
message or any part of it. Thank you.

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet Alexandre Delanoë 
Le 29 mars 17, vers 07:57, Frederic Robert ecrivait:
> On Tue, Mar 28, 2017 at 07:55:46PM +0200, Alexandre Delanoë wrote:
> > Voici le lien pour le streaming:
> > 
> > http://webcast.iscpif.fr/stream/stream.webm
> 
> Bonjour,

Bonjour,

> Est-ce que les conférences ont été enregistrées?

Oui! Avec l'autorisation préalable des intervenants, je publierai les
vidéos.

Bonne journée,

-- 
Alexandre Delanoë (anoe)


signature.asc
Description: PGP signature

Re: Debian France Meetup à Paris [Streaming]

2017-03-29 Par sujet Frederic Robert 
On Tue, Mar 28, 2017 at 07:55:46PM +0200, Alexandre Delanoë wrote:
> Voici le lien pour le streaming:
> 
> http://webcast.iscpif.fr/stream/stream.webm

Bonjour,

Est-ce que les conférences ont été enregistrées?

Bonne journée,

-- 
Frederic Robert