#576 Le 15/04/2012, à 15:16
- tshirtman
Re : /* Topic des codeurs [7] */
tshirtman a écrit :Plus ou moins déjà de base en Haskell
avec leur sémantique associée?
Hors ligne
#577 Le 15/04/2012, à 15:28
- grim7reaper
Re : /* Topic des codeurs [7] */
C’est à dire ?
@Rolinh : fonctionne pas, problème dans le Makefile.
Ton .mo s’installe dans
/share/locale/fr/LC_MESSAGES/dfc.moau lieu de
/usr/share/locale/fr/LC_MESSAGES/dfc.moHors ligne
#578 Le 15/04/2012, à 15:40
- tshirtman
Re : /* Topic des codeurs [7] */
∀ a ∈ lis:pour tout a élément de lis…
Hors ligne
#579 Le 15/04/2012, à 15:46
- grim7reaper
Re : /* Topic des codeurs [7] */
oui bien sûr, sinon ça n’a aucun intérêt.
Le coup du ∀ est même cité en exemple dans la page
This extension enables Unicode characters to be used to stand for certain ASCII character sequences, i.e. → instead of ->, ∀ instead of forall and many others.
Et pour ∈ :
(∈) ∷ Eq α ⇒ α → [α] → Bool
(∈) = elemDernière modification par grim7reaper (Le 15/04/2012, à 15:48)
Hors ligne
#580 Le 15/04/2012, à 15:58
- tshirtman
Re : /* Topic des codeurs [7] */
ah ok, j'avais lu trop vite, merci 
Hors ligne
#581 Le 15/04/2012, à 16:14
- Rolinh
Re : /* Topic des codeurs [7] */
@Rolinh : fonctionne pas, problème dans le Makefile.
Merci. Cela devrait être corrigé maintenant.
EDIT: dfc bientôt dans les dépôts Debian également (ITP)
Adopté 40mn après la RFP... J'ai d'abord cru a une blague... mais non.
Dernière modification par Rolinh (Le 15/04/2012, à 16:43)
Hors ligne
#582 Le 15/04/2012, à 17:15
- grim7reaper
Re : /* Topic des codeurs [7] */
Ça fonctionne :
/usr/local/bin/dfc -h
Utilisation: dfc [OPTIONS(S)] [-c WHEN] [-p FSNAME] [-q SORTBY] [-t FSTYPE] [-u
Options disponibles:
-a affiche tous les systèmes de fichiers du mtab
-b désactive l'affichage du graphique
-c permet de choisir le mode pour la couleur. Lisez le manuel
pour les détails
-f désactive le mode d'auto-ajustement (force l'affichage)
-h affiche ce message
-i informations sur les inodes
-m utilise les unités metriques (unités SI)
-n désactive l'affichage du titre
-o affiche les options de montage
-p filtre par nom de système de fichiers. Lisez le manuel
pour les détails
-q trie l'affichage. Lisez le manuel
pour les détails.
-s somme l'utilisation totale
-t filtre par type de système de fichiers. Lisez le manuel
pour les détails
-T affiche le type de système de fichiers
-u permet de choisir l'unité dans laquelle
les valeurs sont affichées. Lisez le manuel
pour les détails
-v affiche la version du programme
-w utilise une barre plus large
-W long nom de fichiers (dé-tronque)LANG=C /usr/local/bin/dfc -h
Usage: dfc [OPTIONS(S)] [-c WHEN] [-p FSNAME] [-q SORTBY] [-t FSTYPE] [-u UNIT]
Available options:
-a print all fs from mtab
-b do not show the graph bar
-c choose color mode. Read the manpage
for details
-f disable auto-adjust mode (force display)
-h print this message
-i info about inodes
-m use metric (SI unit)
-n do not print header
-o show mount flags
-p filter by file system name. Read the manpage
for details
-q sort the output. Read the manpage
for details
-s sum the total usage
-t filter by file system type. Read the manpage
for details
-T show filesystem type
-u choose the unit in which
to show the values. Read the manpage
for details
-v print program version
-w use a wider bar
-W wide filename (un truncate)Hors ligne
#583 Le 15/04/2012, à 18:02
- Rolinh
Re : /* Topic des codeurs [7] */
Chouette
Merci d'avoir testé.
Bon, j'y pense maintenant: il faudrait aussi que je trouve un moyen pour permettre la traduction du manuel et du fichier de configuration.
Hors ligne
#584 Le 15/04/2012, à 19:30
- tshirtman
Re : /* Topic des codeurs [7] */
je viens d'apprendre l'existence du paquet «moreutils» sous debian, je sais pas si ça existe sous les autres systèmes, y'a des trucs sympa dedans, c'est surtout axé sur les pipes, j'aime bien vipe par exemple, ça permet d'avoir ce qu'il reçoit dans un éditeur, et quand on quitte ça balance dans stdout
Hors ligne
#585 Le 15/04/2012, à 21:35
- Rolinh
Re : /* Topic des codeurs [7] */
Chez Archlinux, le paquet moreutils installe les binaires suivants:
moreutils /usr/bin/chronic
moreutils /usr/bin/combine
moreutils /usr/bin/ifdata
moreutils /usr/bin/ifne
moreutils /usr/bin/isutf8
moreutils /usr/bin/lckdo
moreutils /usr/bin/mispipe
moreutils /usr/bin/parallel-moreutils
moreutils /usr/bin/pee
moreutils /usr/bin/sponge
moreutils /usr/bin/ts
moreutils /usr/bin/vidir
moreutils /usr/bin/vipe
moreutils /usr/bin/zrunJe vais consulter un peu les manpages, histoire de voir s'il y a des trucs intéressants. Merci pour le partage de découverte. 
Hors ligne
#586 Le 15/04/2012, à 23:30
- tshirtman
Re : /* Topic des codeurs [7] */
Oui c'est les mêmes
Hors ligne
#587 Le 16/04/2012, à 14:01
- grim7reaper
Re : /* Topic des codeurs [7] */
Ruby rejoins le cercle des rares langages standardisés ISO (comme C et C++) , merci Nakata Ikuo.
Hors ligne
#588 Le 16/04/2012, à 14:09
- tshirtman
Re : /* Topic des codeurs [7] */
Ah donc ça y est, le langage est figé dans le marbre? ça doit faire tout drole 
Hors ligne
#589 Le 16/04/2012, à 14:18
- grim7reaper
Re : /* Topic des codeurs [7] */
Si j’ai bien compris, oui il semblerait (enfin figé, ça continuera d’évoluer comme le C et le C++, donc plus lentement), à moins qu’il y ai différents types de standardisation ISO et que ça soit différent du C et du C++ (mais ils disent « spécifie la syntaxe et la sémantique », donc bon).
Dernière modification par grim7reaper (Le 16/04/2012, à 14:19)
Hors ligne
#590 Le 16/04/2012, à 15:05
- Rolinh
Re : /* Topic des codeurs [7] */
Chouette nouvelle.
Ah tiens, grim (ou quelqu'un d'autre), ça ne t'embêterait pas de re-tester la traduction de dfc qui devrait maintenant être complète (y compris manpage et fichier de configuration) ? Je n'ai pas ma locale en français.
Pour l'occasion, j'ai fait un package-git sur AUR: http://aur.archlinux.org/packages.php?ID=58499 qui permet donc de compiler la version en développement. Ça évite le make install manuel quoi.
Hors ligne
#591 Le 16/04/2012, à 15:21
- grim7reaper
Re : /* Topic des codeurs [7] */
Ok, je teste ça.
Sinon, tu peux le faire aussi (regarde comment j’ai testé la locale anglaise, bon j’ai mis la locale C parce que c’était plus cours que la locale anglaise et que ça change pas grand-chose ici, mais c’est ça l’idée )
Hors ligne
#592 Le 16/04/2012, à 15:24
- Rolinh
Re : /* Topic des codeurs [7] */
Oui, j'ai bien tenté mais sans succès:
[robin@thor ~/Hacking/git/bor/dfc/src] % LANG=fr_CH dfc -h
Usage: dfc [OPTIONS(S)] [-c WHEN] [-p FSNAME] [-q SORTBY] [-t FSTYPE] [-u UNIT]
Available options:
-a print all fs from mtab
-b do not show the graph bar
-c choose color mode. Read the manpage
for details
-f disable auto-adjust mode (force display)
-h print this message
-i info about inodes
-m use metric (SI unit)
-n do not print header
-o show mount flags
-p filter by file system name. Read the manpage
for details
-q sort the output. Read the manpage
for details
-s sum the total usage
-t filter by file system type. Read the manpage
for details
-T show filesystem type
-u choose the unit in which
to show the values. Read the manpage
for details
-v print program version
-w use a wider bar
-W wide filename (un truncate)En revanche, pour la manpage ça fonctionne très bien:
man -L fr_CH dfcTu arriverais à tester le fichier de configuration avec les couleurs en français?
Hors ligne
#593 Le 16/04/2012, à 15:26
- grim7reaper
Re : /* Topic des codeurs [7] */
Alors le man est bien traduit, par contre le logiciel ne l’est plus ^^
Édit : problème de paquet il semble, en installation manuelle ça passe bien (je vais tester la conf’ maintenant).
Édit : ha bah non, ça semble fonctionner maintenant >_<
Dernière modification par grim7reaper (Le 16/04/2012, à 15:28)
Hors ligne
#594 Le 16/04/2012, à 15:32
- Rolinh
Re : /* Topic des codeurs [7] */
Ah, ceci explique cela.
Cela me paraissait bizarre que ça soit un problème de packaging étant donné ceci:
[robin@thor ~/Hacking/git/bor/dfc] % pacman -Ql dfc-git
dfc-git /etc/
dfc-git /etc/xdg/
dfc-git /etc/xdg/dfc/
dfc-git /etc/xdg/dfc/dfcrc
dfc-git /etc/xdg/dfc/fr/
dfc-git /etc/xdg/dfc/fr/dfcrc
dfc-git /usr/
dfc-git /usr/bin/
dfc-git /usr/bin/dfc
dfc-git /usr/share/
dfc-git /usr/share/licenses/
dfc-git /usr/share/licenses/dfc/
dfc-git /usr/share/licenses/dfc/LICENSE
dfc-git /usr/share/locale/
dfc-git /usr/share/locale/fr/
dfc-git /usr/share/locale/fr/LC_MESSAGES/
dfc-git /usr/share/locale/fr/LC_MESSAGES/dfc.mo
dfc-git /usr/share/man/
dfc-git /usr/share/man/fr/
dfc-git /usr/share/man/fr/man1/
dfc-git /usr/share/man/fr/man1/dfc.1.gz
dfc-git /usr/share/man/man1/
dfc-git /usr/share/man/man1/dfc.1.gzBizarre quand même...
Hors ligne
#595 Le 16/04/2012, à 15:33
- grim7reaper
Re : /* Topic des codeurs [7] */
Oui, probablement que comme j’avais pas rouvert de terminal le vieil exécutable est resté en mémoire où une connerie comme ça.
Sinon c’est OK pour la conf’
Édit : ha, non. J’ai parlé trop vite : il n’y a que le symbole qui change, pas les couleurs.
Dernière modification par grim7reaper (Le 16/04/2012, à 15:35)
Hors ligne
#596 Le 16/04/2012, à 15:42
- Rolinh
Re : /* Topic des codeurs [7] */
Édit : ha, non. J’ai parlé trop vite : il n’y a que le symbole qui change, pas les couleurs.
Ok, je m'occupe de ça.
EDIT: curieux. Cela devrait être géré par la fonction cvrt_color. Il y a quelque chose qui m'échappe.
EDIT: afin d'être sûr, tu as bien utilisé le fichier de configuration traduit en français? Et donc utilisé les noms de couleurs en français (bleu, blanc, jaune, etc.)?
Dernière modification par Rolinh (Le 16/04/2012, à 16:45)
Hors ligne
#597 Le 16/04/2012, à 17:10
- grim7reaper
Re : /* Topic des codeurs [7] */
EDIT: afin d'être sûr, tu as bien utilisé le fichier de configuration traduit en français? Et donc utilisé les noms de couleurs en français (bleu, blanc, jaune, etc.)?
Oui, et si je changeai les couleurs en utilisant les noms anglais ça fonctionnait, mais avec les mots français ça semble toujours rester en couleurs par défaut peut importe ce que je fait.
Hors ligne
#598 Le 16/04/2012, à 17:29
- The Uploader
Re : /* Topic des codeurs [7] */
@grim, tu demandais récemment si Ruby avait un standard ISO :
Le 12 avril 2012, l'ISO (International Organization for Standardization) a publié le standard ISO/IEC 30170 qui spécifie la syntaxe et la sémantique du langage Ruby. Ce projet, en gestation depuis 2008, a pu aboutir grâce au groupe de travail mené par Ikuo Nakata, professeur à l'université de Tsukuba. La standardisation du langage était une étape sine qua non pour son utilisation au sein de l'administration japonaise.
http://linuxfr.org/news/quelques-nouvel … steme-ruby
J'aime aussi cette partie là :
Le 26 mars 2012, la Free Software Foundation a attribué le FSF award (trophée du libre) 2011 à Yukihiro Matsumoto, le créateur du langage Ruby, pour son travail sur le projet GNU et Ruby durant ces 20 dernières années. Pour rappel, cette récompense est attribuée aux personnalités ayant apporté une grande contribution au progrès et au développement du logiciel libre.
Le créateur de Python l'avait gagné en 2001, donc voilà une injustice réparée.
- Oldies PC : Intel Pentium 3 @ 800 Mhz sur CM ASUS P2B-F, GeForce 4 Ti4800 SE, Disque Dur Hitachi 160 Go, 512 Mo de RAM, 3DFX Voodoo 2, Sound Blaster 16 ISA PnP, Windows 98 SE / XP)
- Desktop : Intel Core i7 6700K @ 4 GHz sur CM ASUS Z170-P, GeForce GTX 1070, SSD Samsung 850 EVO 1 To, 16 Go de RAM, Disque Dur Seagate Barracuda 3 To, Windows 10
Hors ligne
#599 Le 16/04/2012, à 17:40
- grim7reaper
Hors ligne
#600 Le 16/04/2012, à 17:41
- Rolinh
Re : /* Topic des codeurs [7] */
@The Uploader: 
@grim: bon, je vais changer ma locale et essayer de comprendre pourquoi. J'avoue ne pas avoir la moindre idée pour le moment.
Hors ligne