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