string replace string first last ?newstring?Removes a range of consecutive characters from
string, starting with the character whose index is
first and ending with the character whose index is
last. An index of 0 refers to the first character of the string.
First and
last may be specified as for the
index method. If
newstring is specified, then it is placed in the removed character range. If
first is less than zero then it is treated as if it were zero, and if
last is greater than or equal to the length of the string then it is treated as if it were '
end. If
first is greater than
last or the length of the initial string, or
last is less than 0, then the initial string is returned untouched.
See also:
Examples:
% string replace "this is a bad example" 10 12 good
this is a good example
% string map {bad good} "this is a bad example"
this is a good example
