Skip to content

Instantly share code, notes, and snippets.

@radiosilence
Created November 22, 2012 13:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save radiosilence/4131102 to your computer and use it in GitHub Desktop.
Save radiosilence/4131102 to your computer and use it in GitHub Desktop.
--- Mimeo.py.old 2012-11-22 13:05:48.340854666 +0000
+++ Mimeo.py 2012-11-22 13:06:13.363724740 +0000
@@ -1219,6 +1219,10 @@
try:
desktop.load()
+ # Skip this desktop if it has no Desktop Entry Group
+ if not DEG in desktop:
+ continue
+
except IOError as e:
self.ioerror_msg(fpath, e, True)
del desktops[basename]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment