diff --git a/GXDE-grub.cfg b/GXDE-grub.cfg new file mode 100644 index 0000000..0dfe043 --- /dev/null +++ b/GXDE-grub.cfg @@ -0,0 +1 @@ +GRUB_DISABLE_OS_PROBER=false diff --git a/Makefile b/Makefile index b4bcaa9..508e0cc 100644 --- a/Makefile +++ b/Makefile @@ -9,6 +9,7 @@ install: mkdir -pv $(DESTDIR)/usr/bin mkdir -pv $(DESTDIR)/usr/lib/systemd/system/ mkdir -pv $(DESTDIR)/usr/share/polkit-1/rules.d/ + mkdir -pv $(DESTDIR)/etc/default/grub.d/ cp -rv dde-file-manager-gvfs.rules $(DESTDIR)/usr/share/polkit-1/rules.d/dde-file-manager-gvfs.rules cp -rv dde.sh $(DESTDIR)/etc/profile.d/dde.sh #cp -rv debian-dde.list $(DESTDIR)/etc/apt/sources.list.d/debian-dde.list @@ -16,5 +17,6 @@ install: cp -rv debian-dde.gpg $(DESTDIR)/etc/apt/trusted.gpg.d/debian-dde.gpg cp debiandde-config-after-desktop $(DESTDIR)/usr/bin/debiandde-config-after-desktop cp debiandde-config-after-desktop.desktop $(DESTDIR)/etc/xdg/autostart/debiandde-config-after-desktop.desktop + cp GXDE-grub.cfg $(DESTDIR)/etc/default/grub.d/GXDE-grub.cfg chmod +x $(DESTDIR)/etc/profile.d/dde.sh chmod +x $(DESTDIR)/usr/bin/debiandde-config-after-desktop