GNOME Bugzilla – Bug 696064
runDialog: Ignore expected IO errors while enumerating $PATH
Last modified: 2013-03-18 17:01:09 UTC
Prevents this when hitting Tab: JS ERROR: !!! Exception was: Gio.IOErrorEnum: No such file or directory JS ERROR: !!! message = '"No such file or directory"' JS ERROR: !!! fileName = '"/home/rmatos/Source/git.gnome.org/gnome-shell/js/ui/runDialog.js"' JS ERROR: !!! lineNumber = '165' JS ERROR: !!! stack = '"0 anonymous()@/home/rmatos/Source/git.gnome.org/gnome-shell/js/ui/runDialog.js:165 1 anonymous()@/home/rmatos/Source/git.gnome.org/gnome-shell/js/ui/runDialog.js:163 2 wrapper()@/home/rmatos/Source/git.gnome.org/install/share/gjs-1.0/lang.js:213 3 anonymous()@/home/rmatos/Source/git.gnome.org/gnome-shell/js/ui/runDialog.js:186 4 wrapper()@/home/rmatos/Source/git.gnome.org/install/share/gjs-1.0/lang.js:213 5 anonymous()@/home/rmatos/Source/git.gnome.org/gnome-shell/js/ui/runDialog.js:135
Created attachment 239141 [details] [review] runDialog: Ignore expected IO errors while enumerating $PATH $PATH might contain non-existent or non-directory entries. Ignore those error cases.
Review of attachment 239141 [details] [review]: OK.
Attachment 239141 [details] pushed as 1cc7265 - runDialog: Ignore expected IO errors while enumerating $PATH