diff options
| author | J08nY | 2017-10-11 19:42:54 +0200 |
|---|---|---|
| committer | J08nY | 2017-10-11 19:58:46 +0200 |
| commit | 4f7cf84cf098426f4865291de96f033ae8c11b59 (patch) | |
| tree | 2ab67da0c143e36f6ce13a4803ea2ccb61fbe6aa /platform | |
| parent | 409e58e67abde4e7af6e43b32c23338e119377fb (diff) | |
| download | godot-feature/gio-open.tar.gz godot-feature/gio-open.tar.zst godot-feature/gio-open.zip | |
Diffstat (limited to 'platform')
| -rw-r--r-- | platform/x11/os_x11.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/platform/x11/os_x11.cpp b/platform/x11/os_x11.cpp index 041666a59..b5fe69ac3 100644 --- a/platform/x11/os_x11.cpp +++ b/platform/x11/os_x11.cpp @@ -1938,14 +1938,19 @@ Error OS_X11::shell_open(String p_uri) { Error ok; List<String> args; + args.push_back("open"); args.push_back(p_uri); + ok = execute("/usr/bin/gio", args, false); + if (ok == OK) + return OK; + args.pop_front(); ok = execute("/usr/bin/xdg-open", args, false); if (ok == OK) return OK; - ok = execute("gnome-open", args, false); + ok = execute("/usr/bin/gnome-open", args, false); if (ok == OK) return OK; - ok = execute("kde-open", args, false); + ok = execute("/usr/bin/kde-open", args, false); return ok; } |