On 11/03/12 23:31, Lluís Batlle i Rossell wrote:
> On Sun, Mar 11, 2012 at 11:29:44PM +0100, Eelco Dolstra wrote:
>> On 11/03/12 22:50, Lluís Batlle wrote:
>>
>>> bootStage2 = pkgs.substituteAll {
>>> src = ./stage-2-init.sh;
>>> + shell = "${pkgs.bashInteractive}/bin/bash";
>>
>> The stage 2 shell should not be interactive. The debug shell is a separate
>> thing from the shell executing the stage 2 script.
>
> I did not think it was bad to use the interactive bash to execute the init
> script, and then the debug shell would simply call @shell@. We can have two
> bash
> references in it, if you want.
Actually, if you want an interactive bash from the debug shell, you can just
type "bash" on the command line. No need to over-engineer something that very
few people should ever have a need to touch. (The "setsid" is good, though, if
it makes Ctrl-C work.)
--
Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
