Table of Contents

# $EPIC: rest.txt,v 1.2 2006/08/19 06:07:20 sthalik Exp $

Synopsis:

$rest(<text>)
$rest(<num> <text>)

Technical:

Practical:

This can be used to remove the initial character of a string, or to remove multiple initial characters from a string.

Returns:

<text> with the first <num> characters removed.

Examples:

$rest(4 foobarfnord)  returns "arfnord"
$rest(foobarfnord)    returns "oobarfnord"
$rest(1 5 testing)    returns " testing"