Als «file-extension» getaggte Fragen

Ein Suffix am Ende eines Dateinamens, um den Dateityp zu identifizieren. Es ist (normalerweise) durch ein Punktsymbol vom Dateinamen getrennt.

723
Wie bekomme ich eine Dateierweiterung in PHP?

Diese Frage können Sie überall im Internet mit verschiedenen Antworten lesen: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts = split("[/\\.]",...

262
JPG vs. JPEG Bildformate

Ich verwende häufig JPEGBilder und habe festgestellt, dass es zwei sehr ähnliche Dateierweiterungen gibt: .jpgdie Kamera meines Mobiltelefons und die Vorschau- Anwendung und .jpegmit denen Image Capture die Bilder vor dem Scannen mit meinem Canon MX455- Drucker schützt . LaTeX scheint nicht zu...

90
Git Grep nach Dateierweiterungen

Ich weiß, dass ich Folgendes tun könnte, wenn ich nur für Dateien mit bestimmten Erweiterungen nach einem Muster suchen wollte: // searches recursively and matches case insensitively in only javascript files // for "res" from the current directory grep -iIr --include=*.js res ./ Ich habe...