Ajouter une extension de fichier (file.path.add_extension)

Déclaration

nouveau_chemin, message_d_erreur = file.path.add_extension(chemin, extension)

Paramètres

• chemin
  Chaîne, chemin de base
• extension
  Chaîne, extension de fichier à ajouter, généralement sans . initial

Valeur de retour

• nouveau_chemin
  Chaîne ou nil ; renvoie le chemin avec l’extension ajoutée en cas de succès, ou nil si l’ajout est impossible
• message_d_erreur
  Chaîne, renvoie "Invalid path" si la chaîne du chemin est invalide et "Invalid extension" si celle de l’extension est invalide ; si l’ajout est impossible, par exemple parce que l’extension contient /, la fonction peut renvoyer uniquement nil sans message d’erreur

Description

Ajoute . et l’extension indiquée à la fin du chemin ; si le chemin possède déjà une extension, la nouvelle est ajoutée après celle-ci. Par exemple, ajouter bak à file.txt donne file.txt.bak
L’extension fournie peut commencer par ., mais la fonction ne le supprime pas ; fournir .txt ajoute ..txt
Cette fonction génère uniquement une chaîne de chemin ; elle ne renomme aucun fichier ni répertoire réel
Cette fonction est disponible dans les versions postérieures à 20250914

Exemple

local new_path = file.path.add_extension("/path/to/file", "txt") -- Renvoie "/path/to/file.txt"
local archive_path = file.path.add_extension("/path/to/file.tar", "gz") -- Renvoie "/path/to/file.tar.gz"
local backup_path = file.path.add_extension("/path/to/file.txt", "bak") -- Renvoie "/path/to/file.txt.bak"
local dotted_path = file.path.add_extension("/path/to/file", ".txt") -- Renvoie "/path/to/file..txt"