Re: Où se trouve la documentation pour makefile ?
Bonjour On Sat, Dec 17, 2011 at 09:16:08PM +0100, kaliderus wrote: Bonsoir, J'ai l'impression qu'il n'y a pas de pages de man concernant la syntaxe à utiliser pour un Makefile (makefile, GNUmakefile). Il y a la doc officielle ici http://www.gnu.org/s/make/manual/make.html mais j'imaginais la retrouver dans le package make. Est-ce qu'il y a un package particulier à installer ? le package make-doc devrait répondre à ce besoin Merci. Mais de rien -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/20111217202657.ga16...@bbox.fr
Re: debian-multimedia.org
Le lundi 22 août 2011 à 17:05 +0200, Jean-Yves F. Barbier a écrit : On Mon, 22 Aug 2011 16:33:30 +0200, Gilles Crèvecœur gilles.creveco...@gmail.com wrote: ... Voilà, j'espère que ceci vous aidera à mieux choisir les dépôts que vous utiliser pour ffmpeg. Ce que l'on peut résumer en 2 mots: philosophie trudububu. Ou en une phrase: Les mecs du kernel bossent comme des fous, Les Debian's teams bossent aussi comme des fous, et trudububu récolte les marrons... euh, je ne suis pas sûr de comprendre ce que vous racontez là... quel est le rapport ? -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1314165355.3075.2.camel@royce
Re: debian-multimedia.org
Bonjour, En fait, j'ai déjà eu l'occasion de parler des problèmes du paquet ffmpeg avec Christian Marillat lui-même. Il m'a dit qu'il utilisait le dépôts CVS de ffmpeg pour réaliser les paquets. Il active aussi un certains nombres d'options qui ne sont pas activés par Debian car cela implique d'utiliser du logiciel qui n'est pas libre. De plus Christian m'a dit qu'il réalisé de nouveaux paquets pour ffmeg tous les 15 jours. Cela veut dire que tous les 15 jours le ffmpeg du dépôt debian-multimedia.org change (ainsi que les librairies qui l'accompagnent). Parfois le moment du snapshot n'est pas le bon et ffmpeg + les librairies ne sont pas dans un état fonctionnel. Ce qui provoque des dysfonctionnements des logiciels qui en dépendent. Il m'a dit qu'il ne pouvait rien y faire, il faut lui signaler les problèmes lorsqu'ils apparaissent. De cette façon il pourra contacter les mainteneurs de ffmpeg en vue d'une correction. Il est évident que le paquet proposé par Debian ne pose pas tout ces problèmes, sauf peut être en instable, et encore... Voilà, j'espère que ceci vous aidera à mieux choisir les dépôts que vous utiliser pour ffmpeg. -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1314023611.10025.18.camel@royce
Re: Flash player
Le mercredi 29 septembre 2010 à 23:36 +0200, Eddy F. a écrit : Le mercredi 29 septembre 2010 à 19:06:24, Papinux a écrit : En complément de ce qui a déjà été dit sur le sujet, la commande suivante : update-alternatives --list mozilla-flashplugin t'indiquera quel est le plugin utilisé dans le cas où plusieurs plugins seraient installés. Dans cette commande update-alternatives machin, où peut-on trouver ce qu'il faut mettre à la place de machin ? C'est pas bien de voler un fil de discussion... mais je te réponds quand même. Au hasard : ls /etc/alternatives ou encore : ls /var/lib/dpkg/alternatives devraient te renseigner sur le sujet... La question est double : savoir quels sont les sujets possibles : navigateur web, éditeur de texte, plugin flash... et savoir comment il faut le nommer dans update-alternatives : x-www-browser pour le navigateur (il faut le deviner celui-là !), editor pour l'éditeur de texte... D'ailleurs chez moi (squeeze), update-alternatives: erreur: pas d'alternatives pour mozilla-flashplugin. -- Eddy -- Gilles CRÈVECŒUR -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1285829038.2851.7.ca...@royce
Re: Menu Openbox
Le jeudi 16 septembre 2010 à 12:23 +, Florian Gambert a écrit : Bonjour, Bonjour Après avoir ouvert le menu d'openbox (click droit sur le bureau), si je n'ai pas encore navigué dedans (aucun item de sélectionné) et que j'appuie sur la flèche droite alors la session openbox se ferme. C'est également le cas avec le fichier de configuration du menu par défaut. Donc ma question, c'est désactivable? Parceque ça m'arrive souvent de fermer la session involontairement. Merci J'ai le même problème que toi, en utilisant openbox 3.4.11.1 (version utilisé dans la sid). D'après : http://openbox.org/wiki/Openbox:Changelog#3.4.11.2 le problème est à présent corriger dans la version suivante. À une prochaine. -- Gilles CRÈVECŒUR -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1285053605.3913.2.ca...@royce
Re: Menu Openbox
Le mardi 21 septembre 2010 à 09:20 +0200, Gilles Crèvecœur a écrit : Le jeudi 16 septembre 2010 à 12:23 +, Florian Gambert a écrit : Bonjour, Bonjour Après avoir ouvert le menu d'openbox (click droit sur le bureau), si je n'ai pas encore navigué dedans (aucun item de sélectionné) et que j'appuie sur la flèche droite alors la session openbox se ferme. C'est également le cas avec le fichier de configuration du menu par défaut. Donc ma question, c'est désactivable? Parceque ça m'arrive souvent de fermer la session involontairement. Merci J'ai le même problème que toi, en utilisant openbox 3.4.11.1 (version utilisé dans la sid). D'après : http://openbox.org/wiki/Openbox:Changelog#3.4.11.2 le problème est à présent corriger dans la version suivante. Je viens juste d'essayer la dernière version de openbox (3.4.11.2) en construisant vite fait des paquets debian. Et en effet ce bug est corrigé. Si cela t'intéresse je peux t'envoyer les paquets debian que j'ai compilés. Toutefois il faut tenir compte que j'utilise sid (ie unstable), et que mes paquets fonctionneront _peut être_ avec squeeze (testing) mais certainement pas avec lenny (stable) À une prochaine -- Gilles CRÈVECŒUR -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1285057005.18207.6.ca...@royce
Re: mount: mounting /dev on /root/dev failed: No such file or directory
Bonjour, Le dimanche 04 juillet 2010 à 20:15 +0200, mess-mate a écrit : Bonjour, je suis sous la squeed en amd64. A propos c'est squeeze (mais ce n'est pas grave) Idem pout la proc et la sys. Il faut que je démarre la machine plusieurs fois avant que monsieur se décide à booter. Rien à voir avec les dd ( j'en ai 4) Cette version est vraiment lamentable; il y a que des problèmes de boot. d'accord c'est une testing mais au moins faites que le boot soit possible. Depuis mon installation de squeed et grub2, rien ne va plus comme avant. Je suis également en squeeze et j'ai eu aussi un problème de boot il y a 2 jours. J'ai installé grub-legacy et depuis ça marche correctement. C'est peut être la solution, mais je n'en suis pas sûr. A essayer. J'ai sur un autre dd la lenny que j'arrive même plus à y accéder. Si quelqu'un a une piste J'ai déjà tout essayé et rien n'y fait. amicalement Voilà si cela peut te rendre service A une prochaine -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1278320522.2889.4.ca...@royce
Re: mount: mounting /dev on /root/dev failed: No such file or directory
Le lundi 05 juillet 2010 à 16:33 +0200, mess-mate a écrit : On 07/05/2010 11:02 AM, Gilles Crèvecœur wrote: Bonjour, Le dimanche 04 juillet 2010 à 20:15 +0200, mess-mate a écrit : Bonjour, je suis sous la squeed en amd64. A propos c'est squeeze (mais ce n'est pas grave) Idem pout la proc et la sys. Il faut que je démarre la machine plusieurs fois avant que monsieur se décide à booter. Rien à voir avec les dd ( j'en ai 4) Cette version est vraiment lamentable; il y a que des problèmes de boot. d'accord c'est une testing mais au moins faites que le boot soit possible. Depuis mon installation de squeed et grub2, rien ne va plus comme avant. Je suis également en squeeze et j'ai eu aussi un problème de boot il y a 2 jours. J'ai installé grub-legacy et depuis ça marche correctement. C'est peut être la solution, mais je n'en suis pas sûr. A essayer. J'ai sur un autre dd la lenny que j'arrive même plus à y accéder. Si quelqu'un a une piste J'ai déjà tout essayé et rien n'y fait. amicalement Voilà si cela peut te rendre service A une prochaine -- Gilles Crèvecœur Merci, mais suis-je le seul à avoir ce problème ? Est-ce vraiment grub2 qui fait ces misères ? amicalement En fait j'en sais rien, mais il serait souhaitable d'avoir un descriptif plus précis de ce qui se passe au moment du boot avec les messages d'erreurs. Pour ma part c'était le bios qui me répondait disque non bootable. Mais apparemment je n'ai pas l'impression que tu ai le même problème. Un problème de boot peut aussi provenir du fait que grub ou linux ne trouve l'initrd... alors si tu peux donner de plus amples informations la liste sera plus en mesure de t'aider. A une prochaine -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1278346778.6892.5.ca...@royce
Re: Imprimante HP
Le vendredi 26 février 2010 à 17:14 +0100, Albert DURANTON a écrit : Bonjour, Bonjour, Je suis sur squeeze et je n'arrive pas à utiliser mon imprimante HP Photosmart c4680. j'ai HPLIP, CUPS, les drivers installés. CUPS reconnaitbl'imprimante. le nom de mon ordinateur est mamachine. Hostname donne mamachine. Quand CUPS reconnait la machine j'ai au mieux : mamachine est occupée. J'ai essayé toutes les URI possibles mais sans résultat. Je ne suis pas en réseau et je ne sais pas s'il faut choisir http://;, socket://, ipp:// ou lpd. Mon imprimante est dans la liste proposée par cups. Je tourne en rond. Comment utiliser une imprimante locale avec une adresse (quelle adresse) ou autre chose ? Quelqu'un peut-il m'aider ? Merci d'avance. Albert J'ai régulièrement des problèmes avec ma photosmart aussi. En général je les résous en utilisant l'utilitaire hp-setup (du paquet hplip) qui permets de configurer l'imprimante. Le seul souci c'est qu'il faut, lors de l'affichage de la dernière boite de dialogue, bien pensé à sélectionner 'print a test page'. Sinon ça ne marche pas. J'ai bien une autre ruse mais elle est plutôt sale... Si cela peut t'aider. -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1267211537.2754.8.ca...@royce
Re: Paramétrage WMaker
Le mercredi 03 février 2010 à 13:53 +0100, Le Cerdocyon a écrit : Bonjour, Je n'utilise pas de theme particulier, à part le mien... bon en tout j'ai fait comme si j'en avait un et est sauvegardé le mien. J'ai un fichier qui c'est placé dans :~/GNUstep/Library/WindowMaker/Themes Rien de bien probant pour changer les polices... J'ai d'ailleurs pour voir changer deux ou trois paramètres dedans, rien... Tu auais une autre piste ? Regarde dans ~/GNUstep/Default/WindowMaker. Dans ce fichier on trouve les options : MenuTextFont WindowTitleFont ClipTitleFont DisplayFont MenuTitleFont LargeDisplayFont IconTitleFont Est-ce que ça réponds à ta question ? -- Gilles Crèvecœur -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet unsubscribe vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org
