Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/usr/bin/env python
- import errno
- import os
- import sys
- from gi.repository import Gio
- os.environ["DRI_PRIME"] = "1"
- arg, *rest = sys.argv[1:]
- if not os.path.isfile(arg):
- exit("error: not a file: %r" % arg)
- # check for .desktop mime type as workaround to https://bugs.launchpad.net/ubuntu/+source/gvfs/+bug/378783
- if arg.endswith(".desktop"):
- Gio.DesktopAppInfo.new_from_filename(sys.argv[1]).launch_uris(sys.argv[2:])
- else:
- try:
- os.execl(arg, arg, *rest)
- except OSError as e:
- if e.errno in {errno.ENOEXEC, errno.EACCES}:
- print("bad file format, trying xdg-open")
- os.execlp("xdg-open", "xdg-open", arg)
- else:
- exit("error: could not run %r: %r" % (arg, e))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement