Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • 9020nri
  • 9020vga
  • btrfsvols
  • fsdg20230625
  • 20240225
  • 20240126
  • 20231106
  • 20231101
  • 20231021fix2
  • 20231021fix
  • 20231021
  • c20230710
  • 20230625
  • 20230423
  • 20230413
  • 20230319
  • 20221214
  • psdg
  • 20220710
  • 20211122
  • 20210522
22 results

script

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    livio authored
    All media list functions got moved on mdet.cfg, changed lbmk build
    file in order to include the file. Since it's not possible to delete
    menu entries in GRUB, we have to load (and unload) a configuration
    file. Everytime the boot list option is selected medias are scanned
    and bootable menu entries are created (or updated).
    89cbda74
    History
    Name Last commit Last update
    ..
    build
    update
    vendor