In Ubuntu 18.04 (Gnome) the system search (accessed via the Windows button) allows the search for files. I believe that by default it indexes the user's home folder. I want to prevent it indexing certain folders but cannot find how to do that. I searched dconf for likely looking data but did not find anything. Does anyone know how to do this? Colin