Re: Documentation complète sur la compilation de programmes

2016-01-03 Par sujet Vincent Lefevre 
On 2016-01-02 18:54:50 +0100, andre_deb...@numericable.fr wrote:
> Ce qui m'a fait tilter est que les codes de ce système d'exploitation
> sont écrits en Assembleur ASM, ce que je ne pensais pas possible
> pour un tel projet.

Le principal problème est que ce n'est quasiment pas maintenable.
Si tu veux ajouter des fonctionnalités ou corriger certains types
de bugs, ça risque de tout casser. Et toute l'optimisation peut
être perdue après un patch, alors qu'un compilateur peut refaire
tout le travail d'optimisation.

> Je voulais répondre aux "détracteurs" de l'Assembleur qui semblaient
> le condamner comme étant pratiquement plus utilisé et réservé à des
> applis processeuir 8 bits du moyen-âge, et.. la preuve que non !

L'assembleur reste bien pour certaines routines *critiques* lorsque
le compilateur n'est pas capable de bien optimiser, et à condition
de mettre les moyens pour maintenir le code, car les processeurs
évoluent...

Noter que le gain (quand il y a un gain) à programmer en assembleur
reste souvent assez faible. Il peut aussi être préférable de passer
plus de temps à réfléchir sur l'algorithme, ce qui peut permettre
d'obtenir un gain supérieur.

Ne pas oublier qu'il existe des options du compilateur qui permettent
d'alléger le code, en cassant la conformité à certaines conventions
(chose dont on ne se préoccupe pas quand on optimise en assembleur),
comme -fomit-frame-pointer pour GCC.

-- 
Vincent Lefèvre  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Re: Flèche de la souris qui disparait

2016-01-03 Par sujet andre_debian 
On Sunday 03 January 2016 19:33:39 Jean Bernon wrote:
> > Mon fichier "/etc/default/grub", voici la ligne que j'ai :
> > GRUB_CMDLINE_LINUX_DEFAULT="quiet splash vga=0x318"

> Je ne connais pas l'option "ubscore.autosuspend=1", je spécifiais 
> bien qu'il s'agit d'une autre piste. J'ai utilisé
> l'option "psmouse.proto=bare". Si tu veux tester ces options, 
> il faut les ajouter à celles que tu as déjà, donc passer de "quiet splash
> vga=0x318" à "quiet splash vga=0x318 psmouse.proto=bare" ou à 
> "quiet splash vga=0x318 ubscore.autosuspend=1". 
> Mais avant de faire une mise à jour dans /etc/default/grub.cfg, il vaut
> mieux tester sans changer ton système. Pour tester, tu peux éditer le script
> grub au moment du boot (presser rapidement la touche E lorsque les options
> de boot s'affichent), ajouter l'une ou l'autre option sur la ligne qui
> contient "ro quiet splash vga=0x318" et vérifier si l'une de ses options
> règle ton problème. Si l'une de ces options marche, tu pérennises ensuite en
> l'ajoutant dans /etc/default/grub et en lançant un update-grub.  

Merci. Je vais essayer cette solution et te dirai ASAP.

Bonne fin de soirée.

André

Re: Documentation complète sur la compilation de programmes

2016-01-03 Par sujet Vincent Lefevre 
On 2016-01-02 12:47:43 +0100, andre_deb...@numericable.fr wrote:
> On Saturday 02 January 2016 02:11:57 Vincent Lefevre wrote:
> > Tu crois tout ce que dit la pub?
> 
> Il ne s'agit pas d'une pub sur un OS, émanant d'une entreprise à profit,
> c'est une initiative formidable de développeurs sous licence Libre GPL V2, 
> permettre à de vieux PC moribonds d'utiliser un OS rapide édulcoré et 
> dépouillé, en utilisant le langage assembleur, ce qui est très original.

Rien à voir avec le profit ou la licence.

> > > L'assembleur étant le langage le plus proche du processeur 
> > > (langage machine), 
> > > il a comme première qualité la rapidité de ses programmes.
> > 
> > C'est assez simpliste comme remarque, surtout pour les x86, où
> > la rapidité, donc la façon dont on doit coder en assembleur,
> > dépend vraiment du processeur. C'est d'ailleurs pour ça que GMP
> > a du code assembleur pour chaque variante x86. Il y a d'ailleurs
> > toujours des questions ouvertes sur pourquoi tel code est plus
> > rapide qu'un autre code plus simple sur processeur Intel (les
> > processeurs AMD testés ont un comportement normal):
> 
> Tu réponds comme si KolibriOS devait être un système ultra pro.

Non, je te réponds sur la notion de simplicité.

> Il répond à un besoin, tout le monde n'a pas besoin de sécurité.

Peut-être, mais cette absence de sécurité, cela en fait un système
*plus simple*.

-- 
Vincent Lefèvre  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Re: Flèche de la souris qui disparait

2016-01-03 Par sujet Jean Bernon 
Une autre piste. 
Mon pointeur de souris se déplaçait parfois tout seul ou disparaissait. J'ai 
trouvé sur Internet l'astuce suivante qui marche pour moi. Au moment du boot de 
ton PC, édite le script de lancement de grub et ajoute l'option 
"psmouse.proto=bare" (ici sur mon pc "linux /boot/vmlinuz-3.16-3-amd64 
root=UUID=aa863fdf-6f1d-4caf-9a40-0c549c988dfc ro quiet psmouse.proto=bare "). 
Si ça règle ton problème, il faut ensuite le faire prendre en compte de façon 
permanente par /boot/grub/grub.cfg. Pour cela il ne faut pas en principe éditer 
directement grub.cfg (ce que j'ai fait jusqu'à présent), mais mettre à jour la 
variable GRUB_CMDLINE_LINUX_DEFAULT dans /etc/defa ult/grub et lancer 
update-grub. 
Voir astuce 2 dans 
https://www.debian.org/doc/manuals/debian-reference/ch03.fr.html#_stage_2_the_boot_loader.
 

- Mail original -

> De: "andre debian" 
> À: debian-user-french@lists.debian.org
> Envoyé: Jeudi 31 Décembre 2015 17:06:40
> Objet: Re: Flèche de la souris qui disparait

> On Thursday 31 December 2015 16:24:09 Fred wrote:
> > Regarde si le mot-clé « autosuspend » apparait dans la ligne de
> > commande
> > de ton noyau (/proc/cmdline) :

> # cat /proc/cmdline
> BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-686-pae
> root=UUID=a8a150e7-77f0-4e27-bf93-33ab8932e427 ro quiet splash
> vga=0x318

> > Tu peux regarder également la valeur par défaut
> > dans /sys/module/usbcore/parameters/autosuspend : si c'est non nul,
> > c'est
> > sans doute activé (avec un délai de N secondes, donné par le
> > contenu du
> > paramètre). Après, cela peut être désactivé pour certains
> > périphériques.
> > Si tu sais retrouver dans /sys le chemin correspondant à ton
> > périphérique
> > USB de ta souris, regarde la valeur du fichier auto_suspend pour
> > celui-ci.

> > Recherche également dans l'outil de ton système qui gère
> > l'énergie/la mise
> > en veille, c'est peut-être lui qui joue avec ce paramètre.

> # vi /sys/module/usbcore/parameters/autosuspend
> "E667: Fsynch a échoué"
> Je ne peux rien modifier...
> et idem dans le fichier "/sys/bus/usb/devices/usb1/power/control" :
> "control" E667: Fsynch a échoué

> André

Re: Documentation complète sur la compilation de programmes

2016-01-03 Par sujet andre_debian 
On Saturday 02 January 2016 19:27:30 jdd wrote:
> mais je crois que la puissance des machines actuelles est telle quelle 
> est plus grande que les besoins de la plupart des utilisateurs. Fut un 
> temps où je recompilais le noyau pour gagner un peu de vitesse, je ne 
> l'ai pas fait depuis longtemps...

Distributions ultra légères : KolibriOS, Toutou-Linux... :
sauf pour redonner jeunesse à des vieux PC antédiluviens,
ou pour dépanner sa distribution principale en rade.

(avec Knoppix Live, le boot est beaucoup trop long).

André

ffpeg ET php5-ffmpeg sous jessie ?

2016-01-03 Par sujet JUPIN Alain 

Bonjour

Je profite de l'occasion pour vous présenter à tous tous mes meilleurs 
voeux :)


Je me permet de faire appel pour un petit problème sur un serveur Web 
(Apache 2 + PHP 5 + MySQL)
Je dispose de mon propre serveur dédié pour l'hébergement de mes sites. 
Pour l'un d'entre eux, j'ai besoin de ffmpeg et php5-ffmpeg !
Tout deux sont indisponibles dans jessie :( ni dans les backports (du 
moins pour php5-ffmpeg)?


Si j'opte pour l'ajout des dépôts wheezy pour ses deux paquets, j'ai 
l'impression a en croire aptitude que cela va me mettre le bazar dans ma 
Debian toute fraichement installée !

Seconde solution, rester sous wheezy (encore maintenue il me semble).

Sinon, auriez vous d'autres solutions, peut être plus propres à me 
proposer ?


Merci à vous tous.

--
Alain JUPIN

Re: Flèche de la souris qui disparait

2016-01-03 Par sujet Sébastien NOBILI 
Bonjour,

Le jeudi 31 décembre 2015 à 17:06, andre_deb...@numericable.fr a écrit :
> # vi /sys/module/usbcore/parameters/autosuspend 
> "E667: Fsynch a échoué"
> Je ne peux rien modifier... 
> et idem dans le fichier "/sys/bus/usb/devices/usb1/power/control" :
> "control" E667: Fsynch a échoué

Pour lire ou écrire dans « /proc » ou « /sys », on ne peut pas utiliser
de pager ou d'éditeur. Utilise plutôt « cat » et « > » ou « tee ».

Sébastien

Re: Flèche de la souris qui disparait

2016-01-03 Par sujet Jean Bernon 
> De: "andre debian" 
> À: debian-user-french@lists.debian.org
> Envoyé: Dimanche 3 Janvier 2016 18:35:32
> Objet: Re: Flèche de la souris qui disparait

> On Sunday 03 January 2016 16:23:32 Jean Bernon wrote:
> > Une autre piste.
> > Mon pointeur de souris se déplaçait parfois tout seul ou
> > disparaissait. J'ai
> trouvé sur Internet l'astuce suivante qui marche pour moi. Au moment
> du boot
> de ton PC, édite le script de lancement de grub et ajoute
> l'option "psmouse.proto=bare" (ici sur mon
> pc "linux /boot/vmlinuz-3.16-3-amd64
> root=UUID=aa863fdf-6f1d-4caf-9a40-0c549c988dfc ro quiet
> psmouse.proto=bare "). Si ça règle ton problème, il faut ensuite le
> faire
> prendre en compte de façon permanente par /boot/grub/grub.cfg. Pour
> cela il
> ne faut pas en principe éditer directement grub.cfg (ce que j'ai fait
> jusqu'à
> présent), mais mettre à jour la variable GRUB_CMDLINE_LINUX_DEFAULT
> dans /etc/defa ult/grub et lancer update-grub.
> > Voir astuce 2 dans :
> https://www.debian.org/doc/manuals/debian-reference/ch03.fr.html#_stage_2_the_boot_loader.

> Merci de ton aide.

> Je ne vois pas "l'astuce 2" à cette page ci-dessus.

Le paragraphe sur grub se termine par une série d'astuces et c'est la 2ème 
(elle n'est pas vraiment numérotée). 

> Mon fichier "/etc/default/grub", voici la ligne que j'ai :
> GRUB_CMDLINE_LINUX_DEFAULT="quiet splash vga=0x318"

Je ne connais pas l'option "ubscore.autosuspend=1", je spécifiais bien qu'il 
s'agit d'une autre piste. J'ai utilisé l'option "psmouse.proto=bare". Si tu 
veux tester ces options, il faut les ajouter à celles que tu as déjà, donc 
passer de "quiet splash vga=0x318" à "quiet splash vga=0x318 
psmouse.proto=bare" ou à "quiet splash vga=0x318 ubscore.autosuspend=1". M ais 
avant de faire une mise à jour dans /etc/default/grub.cfg, il vaut mieux tester 
sans changer ton système. Pour tester, tu peux éditer le script grub au moment 
du boot (presser rapidement la touche E lorsque les options de boot 
s'affichent), ajouter l'une ou l'autre option sur la ligne qui contient "ro 
quiet splash vga=0x318" et vérifier si l'une de ses options règle ton problème. 
Si l'une de ces options marche, tu pérennises ensuite en l'ajoutant dans 
/etc/default/grub et en lançant un update-grub. 

> À moins de la remplacer par celle-ci ? :
> GRUB_CMDLINE_LINUX_DEFAULT="quiet splash usbcore.autosuspend=-1"

> Bref, je suis perdu avec toutes ces options dans tous ces fichiers :
> "/etc/default/grub.cfg" , "/boot/grub/grub.cfg",
> "/etc/default/grub",
> "/sys/module/usbcore/parameters/autosuspend",
> "/sys/bus/usb/devices/usb1/power/control"...

> André

> > > On Thursday 31 December 2015 16:24:09 Fred wrote:
> > > > Regarde si le mot-clé « autosuspend » apparait dans la ligne de
> > > > commande
> > > > de ton noyau (/proc/cmdline) :
> > > # cat /proc/cmdline
> > > BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-686-pae
> > > root=UUID=a8a150e7-77f0-4e27-bf93-33ab8932e427 ro quiet splash
> > > vga=0x318
> > > > Tu peux regarder également la valeur par défaut
> > > > dans /sys/module/usbcore/parameters/autosuspend : si c'est non
> > > > nul,
> > > > c'est
> > > > sans doute activé (avec un délai de N secondes, donné par le
> > > > contenu du
> > > > paramètre). Après, cela peut être désactivé pour certains
> > > > périphériques.
> > > > Si tu sais retrouver dans /sys le chemin correspondant à ton
> > > > périphérique
> > > > USB de ta souris, regarde la valeur du fichier auto_suspend
> > > > pour
> > > > celui-ci.
> > > > Recherche également dans l'outil de ton système qui gère
> > > > l'énergie/la mise
> > > > en veille, c'est peut-être lui qui joue avec ce paramètre.
> > > # vi /sys/module/usbcore/parameters/autosuspend
> > > "E667: Fsynch a échoué"
> > > Je ne peux rien modifier...
> > > et idem dans le fichier "/sys/bus/usb/devices/usb1/power/control"
> > > :
> > > "control" E667: Fsynch a échoué

Re: ffpeg ET php5-ffmpeg sous jessie ?

2016-01-03 Par sujet Bernard Schoenacker 
Le Sun, 3 Jan 2016 17:55:28 +0100,
Bernard Schoenacker  a écrit :

> Le Sun, 3 Jan 2016 14:00:17 +0100,
> JUPIN Alain  a écrit :
> 
> > Bonjour
> > 
> > Je profite de l'occasion pour vous présenter à tous tous mes
> > meilleurs voeux :)
> > 
> > Je me permet de faire appel pour un petit problème sur un serveur
> > Web (Apache 2 + PHP 5 + MySQL)
> > Je dispose de mon propre serveur dédié pour l'hébergement de mes
> > sites. Pour l'un d'entre eux, j'ai besoin de ffmpeg et php5-ffmpeg !
> > Tout deux sont indisponibles dans jessie :( ni dans les backports
> > (du moins pour php5-ffmpeg)?
> > 
> > Si j'opte pour l'ajout des dépôts wheezy pour ses deux paquets,
> > j'ai l'impression a en croire aptitude que cela va me mettre le
> > bazar dans ma Debian toute fraichement installée !
> > Seconde solution, rester sous wheezy (encore maintenue il me
> > semble).
> > 
> > Sinon, auriez vous d'autres solutions, peut être plus propres à me 
> > proposer ?
> > 
> > Merci à vous tous.
> >   
> 
> bonjour,
> 
> j'ai enfin trouvé le tuto qui explique bien comment
> installer php-ffmpeg :
> 
> https://technique.arscenic.org/lamp-linux-apache-mysql-php/php/article/installation-de-php5-et-de-ses
> 
> tu peut mettre à jour en version supérieure et rester en debian ...
> 
> slt
> bernard
> 
bonjour,

voici ce qu'il faut :
http://manpages.ubuntu.com/manpages/natty/fr/man1/svn-buildpackage.1.html

et le rtfm de lucas nussbaum avec svn-buildpackage :

https://www.debian.org/doc/manuals/packaging-tutorial/packaging-tutorial.fr.pdf

slt
bernard

Re: Flèche de la souris qui disparait

2016-01-03 Par sujet andre_debian 
On Sunday 03 January 2016 16:23:32 Jean Bernon wrote:
> Une autre piste. 
> Mon pointeur de souris se déplaçait parfois tout seul ou disparaissait. J'ai 
trouvé sur Internet l'astuce suivante qui marche pour moi. Au moment du boot 
de ton PC, édite le script de lancement de grub et ajoute 
l'option "psmouse.proto=bare" (ici sur mon 
pc "linux /boot/vmlinuz-3.16-3-amd64 
root=UUID=aa863fdf-6f1d-4caf-9a40-0c549c988dfc ro quiet 
psmouse.proto=bare "). Si ça règle ton problème, il faut ensuite le faire 
prendre en compte de façon permanente par /boot/grub/grub.cfg. Pour cela il 
ne faut pas en principe éditer directement grub.cfg (ce que j'ai fait jusqu'à 
présent), mais mettre à jour la variable GRUB_CMDLINE_LINUX_DEFAULT 
dans /etc/defa ult/grub et lancer update-grub. 
> Voir astuce 2 dans : 
https://www.debian.org/doc/manuals/debian-reference/ch03.fr.html#_stage_2_the_boot_loader.

Merci de ton aide.

Je ne vois pas "l'astuce 2" à cette page ci-dessus.

Mon fichier "/etc/default/grub", voici la ligne que j'ai :
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash vga=0x318"
À moins de la remplacer par celle-ci ? :
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash usbcore.autosuspend=-1"

Bref, je suis perdu avec toutes ces options dans tous ces fichiers :
"/etc/default/grub.cfg" ,  "/boot/grub/grub.cfg",
"/etc/default/grub",
"/sys/module/usbcore/parameters/autosuspend",
"/sys/bus/usb/devices/usb1/power/control"...

André

> > On Thursday 31 December 2015 16:24:09 Fred wrote:
> > > Regarde si le mot-clé « autosuspend » apparait dans la ligne de
> > > commande
> > > de ton noyau (/proc/cmdline) :
> > # cat /proc/cmdline
> > BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-686-pae
> > root=UUID=a8a150e7-77f0-4e27-bf93-33ab8932e427 ro quiet splash
> > vga=0x318
> > > Tu peux regarder également la valeur par défaut
> > > dans /sys/module/usbcore/parameters/autosuspend : si c'est non nul,
> > > c'est
> > > sans doute activé (avec un délai de N secondes, donné par le
> > > contenu du
> > > paramètre). Après, cela peut être désactivé pour certains
> > > périphériques.
> > > Si tu sais retrouver dans /sys le chemin correspondant à ton
> > > périphérique
> > > USB de ta souris, regarde la valeur du fichier auto_suspend pour
> > > celui-ci.
> > > Recherche également dans l'outil de ton système qui gère
> > > l'énergie/la mise
> > > en veille, c'est peut-être lui qui joue avec ce paramètre.
> > # vi /sys/module/usbcore/parameters/autosuspend
> > "E667: Fsynch a échoué"
> > Je ne peux rien modifier...
> > et idem dans le fichier "/sys/bus/usb/devices/usb1/power/control" :
> > "control" E667: Fsynch a échoué

Re: GLPI - exemple de configuration nginx

2016-01-03 Par sujet Jean-Marc 
Thu, 31 Dec 2015 10:16:16 +0100
SD76  écrivait :

> Salut,

Salut,

> 
> Il te faut php5-fpm.

Installé pour remplacer php5-cgi.

> 
> Dans le fichier de conf default de nginx tu trouveras un exemple pour
> fastcgi et un socket unix.

Et nginx for beginners fait le reste.

J'ai prévu ne location pour le rootdir de glpi et une directive fastcgi_pass 
derrière une location avec une regexp pour servir les scripts PHP via un 
fastcgi_pass comme dans la config par défaut de nginx :

location /glpi {
root /rootdir/glpi/
}

location ~ \.php$ {
   include snippets/fastcgi-php.conf;

   # With php5-fpm:
   fastcgi_pass unix:/var/run/php5-fpm.sock;
}

> 
> Il faut faire attention avec glpi, il protège des répertoires par des
> htacces. Ce qui ne fonctionnera pas avec nginx.

Tu veux dire que glpi empêche l'affichage du contenu des répertoires via des 
htacces ? Ce n'est pas la priorité mais je garde cela dans ma liste.

Sinon, une restriction d'accès sur les fichiers htaccess ?

location ~ /\.ht {
   deny all;
}


> 
> Je serai en mesure de t'envoyer une conf lundi. ça te laissera le temps de
> la faire fonctionner par toi même ;)

OK, merci. Cela me permettra de vérifier que ma config ressemble à quelque 
chose.

> 
> A+

À lundi,

Jean-Marc 


pgphqjkrYY3Be.pgp
Description: PGP signature

Re: ffpeg ET php5-ffmpeg sous jessie ?

2016-01-03 Par sujet Bernard Schoenacker 
Le Sun, 3 Jan 2016 14:00:17 +0100,
JUPIN Alain  a écrit :

> Bonjour
> 
> Je profite de l'occasion pour vous présenter à tous tous mes
> meilleurs voeux :)
> 
> Je me permet de faire appel pour un petit problème sur un serveur Web 
> (Apache 2 + PHP 5 + MySQL)
> Je dispose de mon propre serveur dédié pour l'hébergement de mes
> sites. Pour l'un d'entre eux, j'ai besoin de ffmpeg et php5-ffmpeg !
> Tout deux sont indisponibles dans jessie :( ni dans les backports (du 
> moins pour php5-ffmpeg)?
> 
> Si j'opte pour l'ajout des dépôts wheezy pour ses deux paquets, j'ai 
> l'impression a en croire aptitude que cela va me mettre le bazar dans
> ma Debian toute fraichement installée !
> Seconde solution, rester sous wheezy (encore maintenue il me semble).
> 
> Sinon, auriez vous d'autres solutions, peut être plus propres à me 
> proposer ?
> 
> Merci à vous tous.
> 

bonjour,

j'ai enfin trouvé le tuto qui explique bien comment
installer php-ffmpeg :

https://technique.arscenic.org/lamp-linux-apache-mysql-php/php/article/installation-de-php5-et-de-ses

tu peut mettre à jour en version supérieure et rester en debian ...

slt
bernard