If a parameter begins with a "-" character then it can be
misinterpreted as a shell command parameter. Protect against this
using "--" in various places.
# Base name.
pure function basename (name) returning string = @{
# Base name.
pure function basename (name) returning string = @{
}
# Directory name.
pure function dirname (name) returning string = @{
}
# Directory name.
pure function dirname (name) returning string = @{
# Read a file.
function read (filename) returning string = @{
# Read a file.
function read (filename) returning string = @{
}
# Read a file as a list of lines.
function readlines (filename) returning strings = @{
}
# Read a file as a list of lines.
function readlines (filename) returning strings = @{