Pertanyaan yang diberi tag file-extension

Akhiran ditambahkan ke akhir nama file, untuk mengidentifikasi jenis file. Ini (biasanya) dipisahkan dari nama file dengan simbol titik.

723
Bagaimana cara saya mendapatkan ekstensi file dalam PHP?

Ini adalah pertanyaan yang dapat Anda baca di mana saja di web dengan berbagai jawaban: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts =...

262
Format gambar JPG vs. JPEG

Saya sering menggunakan JPEGgambar, dan saya perhatikan ada dua ekstensi file yang sangat mirip :, yang digunakan .jpgoleh kamera ponsel saya dan aplikasi Pratinjau , dan .jpeg, yang dengannya Image Capture menyimpan gambar dari pemindaian dengan printer Canon MX455 saya . LaTeX tampaknya tidak...

91
git grep dengan ekstensi file

Saya tahu bahwa, jika saya ingin grep untuk pola hanya pada file dengan ekstensi tertentu, saya bisa melakukan ini: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ Saya telah mencoba...