The setting implies the main bootable disk and partition are called \File{/dev/sda1}.
