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.



28
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 = split("[/\\.]", $filename); $n = count($exts)-1; $ext = $exts[$n]; etc. Cependant, il y a …


6
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 . LaTeX ne semble pas faire de …

11
Étant donné un chemin d'accès au système de fichiers, existe-t-il un moyen plus court d'extraire le nom de fichier sans son extension?
Je programme en WPF C #. J'ai par exemple le chemin suivant: C:\Program Files\hello.txt et je veux en extraire hello. Le chemin d'accès est stringextrait d'une base de données. Actuellement, j'utilise le code suivant pour diviser le chemin par '\', puis à nouveau diviser par '.': string path = "C:\\Program …








3
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é de rechercher un …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.