GXDE-OS/GXDE
1
0
Fork 0
mirror of https://github.com/GXDE-OS/GXDE.git synced 2026-06-22 05:46:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

修复update-grub无法刷新其它分区系统的问题

Browse Source
This commit is contained in:
gfdgd xi
2024-02-25 18:04:14 +08:00
parent f19b9124f1
commit 1804c27408
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
GXDE-grub.cfg
+1
View File
@@ -0,0 +1 @@
GRUB_DISABLE_OS_PROBER=false
Makefile
+2
View File
@@ -9,6 +9,7 @@ install:
mkdir -pv $(DESTDIR)/usr/bin mkdir -pv $(DESTDIR)/usr/bin
mkdir -pv $(DESTDIR)/usr/lib/systemd/system/ mkdir -pv $(DESTDIR)/usr/lib/systemd/system/
mkdir -pv $(DESTDIR)/usr/share/polkit-1/rules.d/ 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-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 dde.sh $(DESTDIR)/etc/profile.d/dde.sh
#cp -rv debian-dde.list $(DESTDIR)/etc/apt/sources.list.d/debian-dde.list #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 -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 $(DESTDIR)/usr/bin/debiandde-config-after-desktop
cp debiandde-config-after-desktop.desktop $(DESTDIR)/etc/xdg/autostart/debiandde-config-after-desktop.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)/etc/profile.d/dde.sh
chmod +x $(DESTDIR)/usr/bin/debiandde-config-after-desktop chmod +x $(DESTDIR)/usr/bin/debiandde-config-after-desktop