diff --git a/contrib/void/README.md b/contrib/void/README.md index 261030b2..8e9104e0 100644 --- a/contrib/void/README.md +++ b/contrib/void/README.md @@ -23,19 +23,33 @@ More on that below. void:~/finit# ./contrib/void/install.sh -The install script is non-destructive by default, you have to answer -*Yes* twice to set up Finit as the system default init. Pay close -attention to the last question: +The install script is (supposed to be) non-destructive by default, you +have to answer *Yes* twice to set up Finit as the system default init. +Pay close attention to the last question: *** Install Finit as the system default Init (y/N)? If you answer `No`, simply by pressing enter, you can change the symlink -yourself later on, to point to `finit` instead of `/bin/busybox`: +yourself later on, to point to `finit` instead of `runit`: void:~/finit# cd /sbin void:/sbin# rm init void:/sbin# ln -s finit init +Another option is to change the Grub defaults, in `/etc/default/grub`: + + #GRUB_CMDLINE_LINUX_DEFAULT="loglevel=4 slub_debug=P page_poison=1" + GRUB_CMDLINE_LINUX_DEFAULT="loglevel=4 init=/sbin/finit" + +Alternatively, you can simply modify the default Grub entry at boot, or +set up an alternative Grub entry to include: + + linux /boot/vmlinuz-X.YY.Z ... init=/sbin/finit + +If you modify a Grub configuration file, remember to run: + + update-grub + Before rebooting, make sure to set up a [/etc/finit.conf](finit.conf), and [/etc/finit.d/](finit.d/) for your services. Samples are included in this directory. Notice the symlinks in `/etc/finit.d/`, which can be diff --git a/contrib/void/install.sh b/contrib/void/install.sh index 458113f5..787e3556 100755 --- a/contrib/void/install.sh +++ b/contrib/void/install.sh @@ -44,14 +44,6 @@ if [ "x$yorn" = "xy" -o "x$yorn" = "xY" ]; then ln -s finit init fi - echo "*** Setting up a GRUB boot entry ..." - MENU=`grep gnu-linux /boot/grub/grub.cfg |head -1 |sed "s/menuentry '\([^']*\).*/\1/"` - TYPE=`grep gnu-linux /boot/grub/grub.cfg |head -1 |sed "s/.*' --class \([a-z]*\).*/\1/"` - BOOT=`grep set=root /boot/grub/grub.cfg |head -1 |sed 's/.* \([a-f0-9]*-[a-f0-9]*-[a-f0-9]*-[a-f0-9]*-[a-f0-9]*\).*/\1/'` - ROOT=`grep root=UUID /boot/grub/grub.cfg |head -1 |sed 's/.*UUID=\([a-f0-9]*-[a-f0-9]*-[a-f0-9]*-[a-f0-9]*-[a-f0-9]*\).*/\1/'` - cat grub.d/40_custom | sed "s,\$BOOT,$BOOT,;s,\$ROOT,$ROOT,;s,\$TYPE,$TYPE,;s,\$MENU,$MENU," >/etc/grub.d/40_custom - update-grub - echo "*** Done" echo else