3.1.3
boot_file
The boot_file environment variable specifies the default file name to be used for
booting when no file name is specified by the boot command. The factory default value
is null.
The syntax is:
set boot_file filename
Example
In this example, the system is set to boot using the file vmunix.
>>> set boot_file vmunix
3-6
hp AlphaServer TS15 Owner's Guide