tree 5916fde78f352a399d70d8ae5c8af92f7c2ecc41
parent f90e1f317ebef7a7e6fccc5019f6ffafd1703a3a
author Nelson Benítez León <nbenitezl@gmail.com> 1551573452 -0400
committer Nelson Benítez León <nbenitezl@gmail.com> 1551653013 -0400

try harder to get the exec name for flatpaks

so gnome-shell's application search does not
show zero result for an application that is
installed both by distro package and by flatpak.

Fixes issue gnome-shell#1013