32 lines
733 B
Bash
32 lines
733 B
Bash
source $stdenv/setup
|
|
|
|
ensureDir $out
|
|
|
|
ln -s $kernel $out/kernel
|
|
ln -s $grub $out/grub
|
|
ln -s $bootStage2 $out/init
|
|
ln -s $initrd $out/initrd
|
|
ln -s $activateConfiguration $out/activate
|
|
ln -s $etc/etc $out/etc
|
|
ln -s $systemPath $out/sw
|
|
ln -s $upstart $out/upstart
|
|
|
|
echo "$kernelParams" > $out/kernel-params
|
|
echo "$configurationName" > $out/configuration-name
|
|
|
|
mkdir $out/fine-tune
|
|
ChildCount=0;
|
|
for i in $children; do
|
|
ChildCount=$(( ChildCount + 1 ));
|
|
ln -s $i $out/fine-tune/child-$ChildCount;
|
|
done
|
|
|
|
cat > $out/menu.lst << GRUBEND
|
|
kernel $kernel init=$bootStage2 $kernelParams
|
|
initrd $initrd
|
|
GRUBEND
|
|
|
|
ensureDir $out/bin
|
|
substituteAll $switchToConfiguration $out/bin/switch-to-configuration
|
|
chmod +x $out/bin/switch-to-configuration
|