drbl / sbin / gen-grub-efi-nb-menu Go to file Go to file T; Go to line L; Copy path Cannot retrieve contributors at this time. executable file 281 lines (251 sloc) 9.22 KB Raw Blame #! /bin/bash # Author: Steven Shiau # License: GPL # …
gen-grub-efi-nb-menu and ocs-live-boot-menu. * Sat Nov 27 2016 Steven Shiau 2.23.3-drbl1 – Skip installing package init for Debian Wheezy when running drblsrv -i. Thanks to Peter Brisson for reporting this issue:, Follow the change in gen-grub-efi-nb-menu , the grub command in the grub config file is now linuxefi/initrdefi instead of linux/initrd. Hence the corresponding functions have to be changed add_opt_in_grub_efi_cfg_block remove_opt_in_grub_efi_cfg_block ocswp-grub2.png: Make.
/etc/drbl/auto_login_host_id_passwd.example /etc/drbl/boot-local-efi.cfg /etc/drbl/client-append-fstab.example /etc/drbl/client-extra-service.example /etc/drbl/client …
Download drbl_ 2.20.11 -4_ all.deb for 18.04 LTS from Ubuntu Universe repository.
etc/ etc/drbl/ etc/drbl/auto_login_host_id_passwd.example; etc/drbl/boot-local-efi.cfg; etc/drbl/client-append-fstab.example; etc/drbl/client-extra-service.example