Questions marquées «file-extension»

Un suffixe ajouté à la fin d'un nom de fichier, afin d'identifier le type de fichier. Il est (généralement) séparé du nom de fichier par un symbole de point.

723
Comment obtenir une extension de fichier en PHP?

C'est une question que vous pouvez lire partout sur le web avec différentes réponses: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts =...

262
Formats d'image JPG contre JPEG

J'utilise souvent des JPEGimages et j'ai remarqué qu'il existe deux extensions de fichiers très similaires :, que.jpg l'appareil photo de mon mobile et l' application Aperçu utilisent, et .jpegavec lesquels Image Capture enregistre les images de la numérisation avec mon imprimante Canon MX455 ....

91
git grep par extensions de fichier

Je sais que, si je voulais grep pour un modèle uniquement sur des fichiers avec certaines extensions, je pourrais le faire: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ J'ai également essayé...