Domande taggate «file-extension»

Un suffisso aggiunto alla fine di un nome di file, al fine di identificare il tipo di file. È (tipicamente) separato dal nome del file da un simbolo di punto.

28
Come posso ottenere un'estensione di file in PHP?
Questa è una domanda che puoi leggere ovunque sul Web con varie risposte: $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]; eccetera. Tuttavia, c'è sempre "il modo …
11
Dato un percorso del filesystem, esiste un modo più breve per estrarre il nome del file senza la sua estensione?
Programma in WPF C #. Ho ad esempio il seguente percorso: C:\Program Files\hello.txt e voglio estrarre helloda esso. Il percorso è stringrecuperato da un database. Attualmente sto usando il seguente codice per dividere il percorso '\'e poi dividerlo di nuovo per '.': string path = "C:\\Program Files\\hello.txt"; string[] pathArr = …
6
Formati immagine JPG vs. JPEG
Uso spesso le JPEGimmagini e ho notato che esistono due estensioni di file molto simili: .jpgla fotocamera del mio cellulare e l' applicazione Anteprima e .jpegcon la quale Image Capture salva le immagini dalla scansione con la mia stampante Canon MX455 . LaTeX non sembra distinguere, dato che l'ho dato …
3
git grep per estensioni di file
So che, se volessi grep per un pattern solo su file con determinate estensioni, potrei farlo: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ Ho provato a cercare un modo per farlo anche tramite git …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.