Shift; Sync; Time; Truename - Hand Held Products Dolphin 7200 User Manual

Syntax: SET [keyword=[string]]

SHIFT

Displays or changes the optional switch character.
Syntax: SWITCH [character]

SYNC

The SYNC command provides a synchronization checkpoint feature that enables a batch file to flush the file system's buffers to
disk before doing something that might otherwise cause a disorderly shutdown
Syntax: SYNC

TIME

The TIME command displays or changes the system time. If no parameter is specified, then the current system time is displayed,
and the user is queried for the new system time. If the user just presses the ENTER key, the system time is not changed. If the
user enters a new time, then the system's real-time-clock is updated.
Syntax: TIME [hh:mm:ss[.hh]]

TRUENAME

The TRUENAME command displays the true name and path of a file.
Syntax: TRUENAME file

TYPE

The TYPE command copies the contents of the specified file to standard output (usually, the screen). If the drive letter is not
specified, then the default drive is assumed.
Syntax: TYPE [drive:][path]filespec

VER

The VER command displays the MS-DOS emulation version number, as well as the version of the Embedded DOS-ROM
operating system that is running.
Syntax: VER

VERIFY

The VERIFY command changes or displays how GS DOS handles I/O to disk files and directory structures. If VERIFY is ON,
then Embedded DOS-ROM verifies immediately that disk I/O is completed successfully before telling the user that it was. This is
accomplished by writing data directly to disk, without temporarily storing it in a file system or disk driver cache. If VERIFY is OFF,
then GS DOS caches writes to files and defers the actual writing to disk, enabling multiple writes to the same sectors to be served
much faster. The cache is automatically written to disk in the background during "dead time", when the disk is not busy. This is
accomplished with the multitasking threads and semaphores that the GS DOS kernel supports.
Syntax: VERIFY [ONIOFF]

VOL

The VOL command displays the volume label of a diskette or a hard disk. VOL does not allow the user to change the volume
label. If the drive letter is not specified, then the default drive is assumed.
Dolphin® 7200 User's Guide E - 5