Permalink
Browse files

Adding a .desktop entry

  • Loading branch information...
1 parent e24231e commit 763226c6e6f26dbed31457c122512d88215c72df David Mohr committed Apr 19, 2010
Showing with 19 additions and 7 deletions.
  1. +10 −0 grub-choose-default.desktop
  2. +9 −7 wscript
@@ -0,0 +1,10 @@
+[Desktop Entry]
+Version=1.0
+Type=Application
+Name=grub-choose-default
+Comment=GUI to choose the grub default boot entry
+Categories=GTK;System
+Exec=grub-choose-default
+Icon=grub-choose-default
+Terminal=false
+StartupNotify=true
View
16 wscript
@@ -75,10 +75,12 @@ def build (ctx):
ctx.add_subdirs ('src')
ctx.add_subdirs ('icons')
- if Options.platform != 'win32' and ctx.env.DOCBOOKTOMAN:
- ctx(
- rule = ctx.env.DOCBOOKTOMAN + ' ${SRC} > ${TGT}',
- source = 'grub-choose-default.sgml',
- target = 'grub-choose-default.8',
- install_path = '${PREFIX}/usr/share/man/man8',
- )
+ if Options.platform != 'win32':
+ if ctx.env.DOCBOOKTOMAN:
+ ctx(
+ rule = ctx.env.DOCBOOKTOMAN + ' ${SRC} > ${TGT}',
+ source = 'grub-choose-default.sgml',
+ target = 'grub-choose-default.8',
+ install_path = '${PREFIX}/usr/share/man/man8',
+ )
+ ctx.install_files ("${PREFIX}/usr/share/applications", "grub-choose-default.desktop");

0 comments on commit 763226c

Please sign in to comment.