On 1/9/2017 8:08 AM, David Wright wrote:
On Mon 09 Jan 2017 at 00:23:47 (-0600), Richard Owlett wrote:Environment: Jessie with Mate DE Background: Doing an atypical install of SeaMonkey using the generic Linux version. I could not remember where "profiles.ini" was stored. As my reference information was on another system, it appeared easier to use the search function of the file manager.What file manager?
Whatever the GUI file manager that is installed when using the installer on DVD 1 of 13 and specifying Mate as the desktop.
I now have an additional piece of information and a "possible solution" if the phrase is interpreted VERY loosely.
I customarily invoke the file manager by clicking on either the Computer icon or that of the Home folder for current user.
I *RARELY* use the drop-down menu under "Applications" for anything. The four or five icons need to launch the appropriate program. Those icons serve >95% of my needs. The most used icon is the one to launch a terminal window.
Today,for the first time ever, I clicked on the "Search for files menu entry".
It requires that you specify if you wish to search hidden folders.Thus I would lean towards classing the problem as a "bug" rather than a "feature".
I chose "file system" as starting point and entered "profiles.ini" in the search bar. No success whether logged in as a normal user or as root. The file DOES exist. the complete path is /home/richard/.mozilla/seamonkey/profiles.ini A little experimentation demonstrated that the apparent trigger was that the target file was in a "hidden" folder. As the file manager preferences were set to display hidden files and folders, I expected search to actually SEARCH! Is this a bug or a "feature"? Is there a work-around?Cheers, David.