HP OMNIBER 718 HP 37718A - Manual (Page 147)

137
Using Instrument and Disk Storage
Managing Files and Directories on Disk
Deleting a File on Disk
Description Obsolete files can be deleted as an aid to efficient file management.
HOW TO: 1 Choose DISK OPERATION .
2 Choose the directory containing the file to be deleted. See "Accessing
Directories and Files " page 134.
3 Enter the filename to be deleted using
or press , highlight the file to be deleted on the file
manager display, and press .
The file name can contain up to 12 alphanumeric characters, including
the filename extension.
4 To delete the file choose .
A warning "Are you sure you wish to continue" is displayed.
If YES is selected, the file is deleted.
If NO is selected, the operation is aborted.
This prevents accidental deletion of a wanted file.
FILE DELETE DELETE FILE
PREVIOUS CHAR NEXT CHAR
SET
SET
OK