Skip to content

Instantly share code, notes, and snippets.

@higebu

higebu/mintMenu-no-such-file-or-directory-error.log

Last active December 13, 2015 19:49
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 higebu/4965686 to your computer and use it in GitHub Desktop.
Save higebu/4965686 to your computer and use it in GitHub Desktop.
Download ZIP
Patch for mintmenu 5.3.8 to run application with unicode commands.
Raw
mintMenu-no-such-file-or-directory-error.log
[Errno 2] No such file or directory
Raw
mintMenu-plugins-execute.py.patch
--- /usr/lib/linuxmint/mintMenu/plugins/execute.py.old 2012-11-03 00:01:32.000000000 +0900
+++ /usr/lib/linuxmint/mintMenu/plugins/execute.py 2013-02-17 10:55:17.443476511 +0900
@@ -15,7 +15,7 @@
# Actually execute the command
def Execute( cmd ):
- if isinstance( cmd, str ):
+ if isinstance( cmd, str ) or isinstance( cmd, unicode ):
if (cmd.find("/home/") >= 0) or (cmd.find("su-to-root") >= 0) or (cmd.find("\"") >= 0):
print "running manually..."
os.system(cmd + " &")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment