Preguntas etiquetadas con file-extension

Un sufijo agregado al final de un nombre de archivo, para identificar el tipo de archivo. Está (normalmente) separado del nombre del archivo por un símbolo de punto.

723
¿Cómo obtengo una extensión de archivo en PHP?

Esta es una pregunta que puede leer en todas partes en la web con varias respuestas: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts =...

262
JPG vs. JPEG formatos de imagen

A menudo uso JPEGimágenes, y me he dado cuenta de que hay dos extensiones de archivo muy similares: .jpgla cámara de mi teléfono móvil y la aplicación Vista previa , y .jpegcon la que Image Capture guarda las imágenes de escaneo con mi impresora Canon MX455 . LaTeX no parece distinguir, ya que le...

91
git grep por extensiones de archivo

Sé que, si quisiera grep para un patrón solo en archivos con ciertas extensiones, podría hacer esto: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ También he intentado buscar una manera...