Perguntas com a marcação «file-extension»

Um sufixo anexado ao final de um nome de arquivo, a fim de identificar o tipo de arquivo. Ele é (normalmente) separado do nome do arquivo por um símbolo de ponto.

723
Como obtenho uma extensão de arquivo em PHP?

Esta é uma pergunta que você pode ler em qualquer lugar da Web com várias respostas: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts =...

262
Formatos de imagem JPG vs. JPEG

Costumo usar JPEGimagens e notei que existem duas extensões de arquivo muito semelhantes: .jpga câmera do meu celular e o aplicativo Preview e .jpeg, com a qual o Image Capture salva as imagens da digitalização com a minha impressora Canon MX455 . O LaTeX não parece distinguir, pois dei um .jpegcom...

93
git grep por extensões de arquivo

Eu sei que, se eu quisesse pesquisar um padrão apenas em arquivos com certas extensões, eu poderia fazer isso: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ Tenho tentado pesquisar uma...