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.



28
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 = split("[/\\.]", $filename); $n = count($exts)-1; $ext = $exts[$n]; dll. Namun, selalu ada …


6
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 membedakan, karena saya memberikannya .jpegdengan ekstensi …

11
Diberikan jalur sistem file, apakah ada cara yang lebih pendek untuk mengekstrak nama file tanpa ekstensi?
Saya memprogram dalam WPF C #. Saya punya misalnya jalur berikut: C:\Program Files\hello.txt dan saya ingin mengekstraknya hello. Path tersebut stringdiambil dari database. Saat ini saya menggunakan kode berikut untuk membagi jalur '\'dan kemudian membagi lagi dengan '.': string path = "C:\\Program Files\\hello.txt"; string[] pathArr = path.Split('\\'); string[] fileArr = …









3
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 mencari cara untuk melakukan ini …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.