Pytania oznaczone «file-extension»

Sufiks dodawany na końcu nazwy pliku w celu zidentyfikowania typu pliku. Jest (zazwyczaj) oddzielony od nazwy pliku symbolem kropki.

723
Jak uzyskać rozszerzenie pliku w PHP?

To pytanie można przeczytać w dowolnym miejscu w Internecie z różnymi odpowiedziami: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts =...

262
Formaty obrazów JPG i JPEG

Często używam JPEGobrazów i zauważyłem, że istnieją dwa bardzo podobne rozszerzenia plików: .jpgktórych używa mój aparat mobilny i aplikacja Preview , i za .jpegpomocą których Image Capture zapisuje obrazy ze skanowania za pomocą mojej drukarki Canon MX455 . Wydaje się, że LaTeX nie rozróżnia,...

91
git grep według rozszerzeń plików

Wiem, że gdybym chciał grepować dla wzorca tylko na plikach z określonymi rozszerzeniami, mógłbym to zrobić: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ Próbowałem również znaleźć...