Petter Reinholdtsen, le Thu 18 Apr 2013 06:30:58 +0200, a écrit : > [Samuel Thibault] > > Which way? Do you think we can still provide a recipe to manage to > > get the system booted, or should we forget about it and tell the > > user to just fix the issue and reboot? > > I suspect it is best to tell users to just reboot, because those users > able to recover without a reboot are unlikely to need the instructions > in the installation manual.
Indeed. I have changed the manual thusly. Samuel -- To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130430213816.gk5...@type.youpi.perso.aquilenet.fr