Obtenir l’extension de fichier d’un chemin (file.path.extension)

Déclaration

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

Paramètres

• chemin
  Chaîne, chemin

Valeur de retour

• extension
  Chaîne ou nil ; renvoie l’extension sans . initial en cas de succès, la chaîne vide "" en l’absence d’extension, ou nil si le chemin est invalide
• message_d_erreur
  Chaîne, renvoie "Invalid path" si le chemin est invalide

Description

Renvoie l’extension de fichier du dernier composant du chemin ; si elle comporte plusieurs segments, seul le dernier est renvoyé, par exemple gz pour archive.tar.gz
Cette fonction est disponible dans les versions postérieures à 20250914

Exemple

local ext = file.path.extension("/path/to/file.txt") -- Renvoie "txt"
local archive_ext = file.path.extension("/path/to/archive.tar.gz") -- Renvoie "gz"
local no_ext = file.path.extension("/path/to/file") -- Renvoie ""