Thank you for the reply. This is my first bug report -- if there is anything I'm missing can you let me know?
Here is the output from the two requested commands. I'm also attaching a valgrind log.
$ for dir in `tr ':' ' ' <<< $XDG_DATA_DIRS`; do ls -l $dir/gnome-shell/search-providers; done
ls: cannot access '/usr/share/ubuntu-wayland/gnome-shell/search-providers': No such file or directory
ls: cannot access '/usr/local/share//gnome-shell/search-providers': No such file or directory
total 20
-rw-r--r-- 1 root root 171 Oct 5 17:12 gnome-control-center-search-provider.ini
-rw-r--r-- 1 root root 815 Oct 22 13:22 gnome-terminal-search-provider.ini
-rw-r--r-- 1 root root 165 Oct 7 09:35 org.gnome.Calculator-search-provider.ini
-rw-r--r-- 1 root root 144 Oct 7 17:03 org.gnome.Nautilus.search-provider.ini
-rw-r--r-- 1 root root 165 May 16 2019 seahorse-search-provider.ini
Hi Sebastien,
Thank you for the reply. This is my first bug report -- if there is anything I'm missing can you let me know?
Here is the output from the two requested commands. I'm also attaching a valgrind log.
$ echo $XDG_DATA_DIRS ubuntu- wayland: /usr/local/ share/: /usr/share/
/usr/share/
$ for dir in `tr ':' ' ' <<< $XDG_DATA_DIRS`; do ls -l $dir/gnome- shell/search- providers; done ubuntu- wayland/ gnome-shell/ search- providers' : No such file or directory share// gnome-shell/ search- providers' : No such file or directory center- search- provider. ini search- provider. ini Calculator- search- provider. ini Nautilus. search- provider. ini search- provider. ini
ls: cannot access '/usr/share/
ls: cannot access '/usr/local/
total 20
-rw-r--r-- 1 root root 171 Oct 5 17:12 gnome-control-
-rw-r--r-- 1 root root 815 Oct 22 13:22 gnome-terminal-
-rw-r--r-- 1 root root 165 Oct 7 09:35 org.gnome.
-rw-r--r-- 1 root root 144 Oct 7 17:03 org.gnome.
-rw-r--r-- 1 root root 165 May 16 2019 seahorse-