![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
I've been helping ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
bugshaw install IsaMorph on her PC; it's a GNU/Linux environment based on Morphix that provides a bootable-CD system for running the Isabelle theorem-proving environment.
Well, after a bit of footling we got it to run OK... except that when B tries to log out it reboots and promptly reloads IsaMorph. Ah, perhaps you should remove the CD before rebooting.
Except that whilst running IsaMorph there seems to be no way to eject the CD. You can't eject the CD from the user environment, and the front button on the CD drive is disabled. In the end I had to reboot, hit the eject button as the machine started the BIOS, and grab the CD before it closed the drawer. This is not a very good way to work, so is there something obvious we should be doing to allow a clean reboot into Windows?
bugshaw install IsaMorph on her PC; it's a GNU/Linux environment based on Morphix that provides a bootable-CD system for running the Isabelle theorem-proving environment.Well, after a bit of footling we got it to run OK... except that when B tries to log out it reboots and promptly reloads IsaMorph. Ah, perhaps you should remove the CD before rebooting.
Except that whilst running IsaMorph there seems to be no way to eject the CD. You can't eject the CD from the user environment, and the front button on the CD drive is disabled. In the end I had to reboot, hit the eject button as the machine started the BIOS, and grab the CD before it closed the drawer. This is not a very good way to work, so is there something obvious we should be doing to allow a clean reboot into Windows?
