Configure Boot Oops!

Has the format of the Choices:Boot.Desktop & PreDesktop changed recently?

Looking at Configuration/Boot I discovered that all the options including the user ones were greyed out. Everything still booted OK but couldn’t be altered. I think I’ve sorted it now by deleting the user options manually from the above files then re-adding them from Configure. Hopefully I did it correctly.

Can I just check that the defaults greyed in Configure should appear as;

Run at Startup

Choices:Boot.Tasks

Boot at Startup

Boot:RO510Hook.Res
Boot:RO500Hook.Res
Boot:RO400Hook.Res
Boot:RO370Hook.Res
Boot:RO360Hook.Res
Boot:RO350Hook.Res
Boot:RO310Hook.Res
<BootResources$Dir>
<Boot$Dir>
Boot:^.Utilities
Boot:^.Utilities.500
Boot:^.Utilities.400
Boot:^.Utilities.370
Boot:^.Utilities.360
Boot:^.Utilities.350
Boot:^.Utilities.310
Boot:^.Printing
BootResources:Configure.!InetSetup

Add To Apps

Boot:^.Apps
Boot:RO360Hook.Apps
Boot:RO370Hook.Apps
Boot:RO400Hook.Apps
Boot:RO500Hook.Apps
Boot:^.Printing.!Printers

[Later] Is it that the REMs are delimiters and that ‘Acorn’ is no longer recognised? If so, DOH!