| Syntax |
$io.setLength{file_name}{new_length} |
| Documentation | Set the length of a file.
file_name, the name of the file whos length is to be changed (see the note about the filename syntax at the end of this document). new_length, the new length of the file.
then the file will be truncated. If the present length of the file as returned by the $io{getLength}{file_name} method is smaller than the 'new_length' argument then the file will be extended. In this case, the contents of the extended portion of the file are not defined. |
| Examples | |
| Group | Special |
| Minimum required transaction-mode: | UPDATE=IO |
| Required scripting permission of the developer | PERMISSION_FL_BASIC |
| Minimum parameters | 2 |
| Maximum parameters | 2 |