Zum Hauptinhalt springen

Dateierweiterung eines Pfades entfernen (file.path.remove_extension)

Deklaration​

neuer_Pfad, fehlermeldung = file.path.remove_extension(Pfad)

Parameter​

  • Pfad
    Text; ursprüngliche Pfadzeichenkette

Rückgabewerte​

  • neuer_Pfad
    Text oder nil; bei Erfolg der Pfad ohne die entfernte Erweiterung, bei ungültigem Pfad nil
  • fehlermeldung
    Text; bei ungültigem Pfad "Invalid path"

Beschreibung​

Entfernt die Erweiterung und den davorstehenden . aus dem letzten Pfadbestandteil; bei mehreren Erweiterungen wird nur die letzte entfernt. Ohne Erweiterung wird der ursprüngliche Pfad zurückgegeben
Diese Funktion verarbeitet nur die Pfadzeichenkette und benennt keine tatsächlichen Dateien oder Verzeichnisse um
Erst in Versionen nach 20250914 verfügbar

Beispiel​

local base = file.path.remove_extension("/path/to/file.txt") -- Gibt zurück: "/path/to/file"
local archive_base = file.path.remove_extension("/path/to/archive.tar.gz") -- Gibt zurück: "/path/to/archive.tar"
local unchanged = file.path.remove_extension("/path/to/file") -- Gibt zurück: "/path/to/file"