summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b9338b0)
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 = @{