GNOME Bugzilla – Bug 699227
external tools: look in file browser root for files named in tool output
Last modified: 2019-03-23 20:37:32 UTC
Currently the external tools plugin looks in a bunch of different places to find files mentioned in tool output; see externaltools/tools/filelookup.py. We should add the file browser root as one more place to look. That way gedit will find files listed by a tool that runs cd $GEDIT_FILE_BROWSER_ROOT; grep -R foo for example.
Created attachment 242854 [details] [review] fix Here's a fix.
Created attachment 242855 [details] [review] fix Oops, didn't get that quite right. Take 2.
Review of attachment 242855 [details] [review]: It looks good to me.
Adam, you've got the git account already right? When I tried to accept you, I couldn't already, so I guess somebody else did before me. If not lemme know to ping the right people.
Yes, my account is set up now! I've pushed the fix.