Añadir una extensión de archivo (file.path.add_extension)

Declaración

ruta_nueva, mensaje_de_error = file.path.add_extension(ruta, extensión)

Parámetros

• ruta
  Texto; cadena de la ruta base
• extensión
  Texto; extensión de archivo que se añadirá, normalmente sin . inicial

Valores devueltos

• ruta_nueva
  Texto o nil; devuelve la ruta con la extensión añadida si tiene éxito, o nil si no se puede añadir
• mensaje_de_error
  Texto; devuelve "Invalid path" si la cadena de ruta no es válida y "Invalid extension" si la cadena de extensión no es válida; si no se puede añadir, por ejemplo porque contiene /, puede devolver solo nil sin mensaje de error

Descripción

Añade . y la extensión indicada al final de la ruta; si ya tiene una extensión, la nueva se añade después de la existente. Por ejemplo, añadir bak a file.txt produce file.txt.bak
La extensión puede incluir un . inicial, pero la función no lo elimina; pasar .txt añade ..txt
Esta función solo genera una cadena de ruta; no cambia el nombre de archivos ni directorios reales
Esta función solo está disponible en versiones posteriores a 20250914

Ejemplo

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