DELETE-USER

@DELETE-USER [ :] Remove a user from the directory.
 * [ : ] : user to be removed on the particular directory (default directory = main directory).

Rules:
 * 1) Permitted only for user SYSTEM when on disk, for all users when on floppy disk.
 * 2) Valid only if the user has no files.

Example:

@DELETE-USER USER-ONE

The user USER-ONE is deleted from main directory.

Related commands
@CREATE-USER

@GIVE-USER-SPACE

@TAKE-USER-SPACE