2023-06-04 12:12:22 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
. /etc/default/grub
|
|
|
|
|
export GRUB_DISABLE_RECOVERY=true
|
|
|
|
|
export GRUB_DISABLE_SUBMENU=y
|
|
|
|
|
export GRUB_CMDLINE_LINUX_DEFAULT=$GRUB_CMDLINE_LINUX_DEFAULT_ALT
|
2023-06-08 19:33:47 +02:00
|
|
|
/etc/grub.d/10_linux | python /usr/bin/extract-menuentry.py "alternative desktop environment (i3)"
|
