Dateierweiterung anhängen (file.path.add_extension)

Deklaration

neuer_Pfad, fehlermeldung = file.path.add_extension(Pfad, Erweiterung)

Parameter

• Pfad
  Text; Zeichenkette des Basispfades
• Erweiterung
  Text; anzuhängende Dateierweiterung, üblicherweise ohne führenden .

Rückgabewerte

• neuer_Pfad
  Text oder nil; bei Erfolg der Pfad mit der angehängten Erweiterung, bei fehlgeschlagenem Anhängen nil
• fehlermeldung
  Text; bei ungültiger Pfadzeichenkette "Invalid path", bei ungültiger Erweiterungszeichenkette "Invalid extension"; ist das Anhängen etwa wegen / in der Erweiterung unmöglich, wird möglicherweise nur nil ohne Fehlermeldung zurückgegeben

Beschreibung

Hängt . und die angegebene Erweiterung an das Pfadende an; eine bereits vorhandene Erweiterung bleibt erhalten. Beispielsweise wird file.txt durch Anhängen von bak zu file.txt.bak
Die übergebene Erweiterung darf mit . beginnen, dieser wird jedoch nicht entfernt; bei .txt wird ..txt angehängt
Diese Funktion erzeugt nur eine Pfadzeichenkette und benennt keine tatsächlichen Dateien oder Verzeichnisse um
Erst in Versionen nach 20250914 verfügbar

Beispiel

local new_path = file.path.add_extension("/path/to/file", "txt") -- Gibt zurück: "/path/to/file.txt"
local archive_path = file.path.add_extension("/path/to/file.tar", "gz") -- Gibt zurück: "/path/to/file.tar.gz"
local backup_path = file.path.add_extension("/path/to/file.txt", "bak") -- Gibt zurück: "/path/to/file.txt.bak"
local dotted_path = file.path.add_extension("/path/to/file", ".txt") -- Gibt zurück: "/path/to/file..txt"