#!/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))