Reprise du message précédent :

C'est genre quand t'as plein d'étapes pour générer quelques choses, avec certaines étapes demandant que d'autres soient faites avant.
Cmake en est un ouais.

Un truc en Haskell et en version 0.15... ça va pas trop passer.
En fait le soucis c'est que le n+1 et les personnes d'influence sont ont plutôt un background de chercheur, du coup ils préfèrent des trucs inhouse que des trucs tout faits qu'ils connaissent pas.  
On a encore un bon nombre de scripts en perl qui trainent.  

Totalement legit comme excuses

Du coup pourquoi pas cmake ?

C'est un groupe, ils sont number one

Est-ce qu'ils ont des grands cous   ?

J'arrive pas à passer master sur sc2

Je pense pas que CMake soit très apprécié.    
Et c'est peut être un peu overkill pour juste lancer des scripts dans le bon ordre.

passe sur NA, passe master prend une screen et retourne sur EU

Ah ouai bonne idee

moi ça a marché super bien pour passer diamant

Le facepalm c'est pour avoir encore besoin d'extensions de fichier en 2015 ?

Aussi
Ce que je comprends pas surtout c'est pourquoi des file managers (genre Dolphin ou Nemo) sur Linux se servent aussi des extensions pour reconnaître les types...
Genre tu prends un fichier texte "foo", il est reconnu comme texte, tu lui rajoutes ".rar" il est reconnu comme archive, tu lui retire ".rar" il est reconnu comme texte. Dafuq ?
Pourquoi ne pas utiliser 'file' (qui lui reconnait ça comme un fichier texte dans tous les cas) et les signatures ? (surtout que j'imagine que c'est ce qu'ils utilisent quand y a pas d'extensions)

 
Je viens de faire mes matchs de placement, sur les 5 il y en a 4 qui voulaient pas quitter quand ils avaient perdu    
J'ai l'impression que ca rage bcp plus que sur EU

j'ai vu le bugzilla hier

du bon sens sur /.
 

pourquoi t'emmerder a parser le fichier quand tu peux utiliser 3 caracteres dans le nom ? moins d'information a lire sur un stockage plus ou moins rapide et fiable, moins d'information a traiter.
et les extensions sont indispensables si t'as pas une icone kikoo qui s'affiche quand ton file manager a fini de parser les headers de tes fichiers. elles sont aussi indispensables si tu veux avoir ton .srt et ton .avi avec des noms qui correspondent. ou un dossier foo, foo.tar, et foo.tar.{gz,xz,bz2}.
franchement, je vois pas de probleme a avoir des noms de fichiers qui correspondent a leur contenu. mais si tu veux utiliser les inodes a la place, fais toi plaisir

Je suis pas sur que ça prenne tant de temps que ça. En tout cas ça m'étonnerait que ça en prenne plus que la génération des thumbnails
Ca me semble plus fiable, et ça peut éviter des pertes de temps sur des fichiers mal "typés" pour les gens qui ne fonctionnent qu'avec ça et n'utilisent jamais de ligne de commande.

Et j'ai pas dit que je voulais pas d'extension, juste que je ne comprenais pas pourquoi les file manager s'en servent pour connaitre les types.
Tu peux avoir ton "texte.rar", mais qui est bien indiqué comme étant un texte, et pas une archive.
Le concept des ".avi/.srt" et ".tar/.tar.gz/etc...", c'est un peu comme "file[1-n]", c'est plus pour l'humain que pour la machine, donc on peut le laisser pour l'humain sans que ça influe la machine...

PS : Je parle au niveau du file manager, après tu peux avoir mplayer qui utilise ça pour trouver les sous titres, de la même façon que ffmpeg peut utiliser des chiffres pour assembler une suite d'images en film

Ben ouais
Honnêtement je pèterais un câble si je récupérais un ensemble de fichiers (que ça soit sous un linux ou un autre OS) sans aucune extension et que je devais deviner à partir des noms ce qu'ils contiennent et comment les lire

si, ca va etre la merde. test rapide sur un .mkv :

 
avec un .mobi, il faut 68B, avec un .epub file croit que c'est un .zip jusqu'a 58B quand il reconnait enfin le MIME type "application/epub+zip"
 
pour un fichier de temps en temps, je veux bien payer le prix, mais sinon, je garde mes extensions, meme si parfois elles disent n'importe quoi.

Je vois que mon troll sur les extensions a bien pris   .
Les vrais savent que je passe mon temps dans un terminal, et effectivement les extensions sont très utiles Un coup de file en cas de doute, ou direct un hexdump -C  

demo a l'air d'y croire
on est dimanche, j'ai rien de mieux a foutre que troller

Il dit juste qu'un file explorer graphique n'a plus trop de raison de les utiliser pour trouver le type du fichier vu qu'il parse déjà les fichiers pour faire les thumbnails et qu'il arrive à se passer d'extensions

les thumbnails sont normalement mis en cache, donc c'est un cout unique. ensuite t'as juste besoin du nom (et de la date de modification pour verifier ton cache).
et la prochaine fois que t'as un dossier avec une image et $many fichiers qui n'ont pas de thumbnail, on reparle de l'utilité de se baser uniquement sur les extensions

Si tu mets les thumbnails en cache qu'est ce qui t'empêche de stocker le type de fichier avec ?  

Je vois pas bien ce que tu veux montrer ? Que faire file sur un bout de fichier produit de la merde ?
En général, tu fais ça sur le fichier complet, non ?  
Perso, j'ai des fichiers sans extensions (des vidéos, des images, des fichiers que je récupère généralement dans le cache du navigateur), et le fm n'a aucun mal à les reconnaitre, ça ne lui prend quasi aucun temps supplémentaire.

J'ai juste honnêtement réagi à un sujet qui m’interpelle , pe qu'il y a une bonne raison à l'utilisation des extensions par les fm (j'ai dit utilisation, pas existence ), mais pour le moment l'argument du 'si je prends que les 48 premiers byte il confond epub et zip' ne me convainc par vraiment  
Cela dit j'ai passé l'age de me bagarrer sur le web , si vous voulez troller, je vous conseille d'aller sur ESC
 

Boarf, j'ai déjà supprimé le cache des thumbnail pour les actualiser après des changement des noms, et y avait vraiment pas de gros délai supplémentaire (enfin, pas suffisant pour que j'y fasse attention)

Ca tombe bien, moi non plus
Alors pe que comme le sujet ne t'intéresse pas (auquel cas, te sens pas non plus obligé d'intervenir ), t'as lu un peu vite, mais j'ai pas dit qu'il fallait retirer les extensions, je me demandais pourquoi des files manager se basent dessus pour identifier de manière automatique le type des fichiers.
 
BTW, si vous voulez changer le sujet, je vous interdit pas de lancer un débat sur le mondial de la fondue

 
Historiquement, certainement.
Mais aujourd'hui, je pense qu'on a des machines suffisamment rapides pour que ça ne leur coûte rien de regarder le début du fichier pour voir ce qu'il y a dedans
J'aurai tendance à croire que c'est souvent plus fiable que juste regarder l'extension, les gens vont plus rarement s'amuser à changer l'entête d'un fichier.
Hormis cas pathologique genre on ne lis que les 48 premiers byte comme dans l'example de wan, mais je suis pas sure que ce soit très commun comme exemple...

ouais, vas-y, prends-moi pour une demeurée.
c'est compliqué de determiner le type d'un fichier. la collection de cas particuliers a gerer est chiantesque. ca vaut pas le coup si t'as l'extension.  
 

oh putain, l'argument des machines suffisamment performantes
le truc qui justifie que ton browser a besoin de 2GB de ram pour afficher un site de merde, ou que les gens n'essaient meme pas d'ecrire leur code intelligemment.
non, c'est simplement pas une raison valable pour justifier la complexité.
 

c'est plus fiable dans le cas absolument pas pathologique ou tu renommes ta video en foo.txt et ta photo en bar.mp3 ?
 

Reverse fishing

Si t'as un exemple ça m'intéresse. (notroll, c'est juste que moi je n'en connais pas)

Pe tu parles de type assez rares ou spécifiques à certains logiciels de spécialistes, je suis d'accord, mais on peut toujours lire l'extension dans ce cas.
Et souvent, ce sont des types commun en fait (genre les .obj, .ply en infographie 3D qui sont en fait des fichiers textes, même dans ces cas, ça peut être utile de voir que c'est en fait un texte)

Je suis généralement d'accord avec ça (souvent quand je vois du bruteforce sur des données numérique alors qu'une boucle intelligente irait N fois plus vite )
Mais là je pense que le cout est vraiment insignifiant pour un gain qui ne me parait pas négligeable.
Mais bon, YMMV, je comprends que tu ne penses pas pareil

Pas si pathologique que ça en fait, je suis déjà tombé plusieurs fois sur des archives renommées bizarrement avec des extensions qui correspondent pas...
Ou encore les archives d'images *.cbz, qui sont en fait des *.rar tout cons (cela dit, moi je trouve ça utile parce que tu compresse, tu rajoutes *.cbz et hop tu peux lire un dossier d'images pdfstyle dans liseuse kivabien ), mais j'ai des collègues qui avaient buggé sur ce genre de truc (encore pire sur windows, ou ils sont allé chercher un *.exe je ne sais où pour lire le bouzin).

Nan mais sans dec, tu dumpes souvent les premiers 10B d'un mkv ?

OMG et ça continue

C'est pour aider brogoss à ne pas avoir un topic ridiculement petit à la fin de l'année  

J'aurais apprécié le même genre de solidarité

T'en as eu, remember les débats sur apple, les montres et l’homéopathie...

C'est pas faux

ben, tres exactement ce que je citais plus haut
le but du decoupage que t'as l'air de prendre pour un truc debile et artificiel, c'est juste pour tromper file et ne pas lui filer le header complet de mon mkv ou epub. du coup il se rabat sur le type "parent" (zip, ebml).
 

j'utilise mcomics, c'est quand meme mieux foutu, mais c'est aussi parce que j'ai pas de vrai afficheur d'image civilisé (enfin, j'ai chromium et imagemagick), donc un dossier d'images c'est pas plus pratique.
 

non, mais ton file manager fait probablement ce genre de chose pour determiner le type.

putain de merde, les albanais petent encore un cable

ça a pas l'air trop chaud par là  
https://en.wikipedia.org/wiki/Albanais

Si tu veux dire qu'on peut tromper file, effectivement, de la même façon qu'en changeant une extension.
Au final, si tu sais comment qqun fait pour identifier un fichier, tu peux toujours de lui faire croire que $file est ce qu'il n'est pas.
Mon idée était juste que dans les cas ou l'erreur n'est pas volontaire (genre qqun qui a mal renommé son fichier), l'erreur a plus de chance d'arriver sur une extension que sur un header.

Connait pas, google me donne rien, kezaco ?
(Je trouve les archives d'images plus pratique que les dossiers justement, mais ça peut venir de ma façon de fonctionner)

Et tu as déjà vu un fm se tromper sur un fichier sans extension à cause de ça ? (notroll)