GNOME Bugzilla – Bug 579448
Embedded terminal changes to wrong directory
Last modified: 2019-03-23 20:48:28 UTC
Please describe the problem: The command Change directory of the embedded terminal actually changes the working directory to the parent of the parent directory of the current file instead of the current directory. Steps to reproduce: 1. Open a file, say "a/b/c.txt" 2. Click Change directory in the popup menu in the embedded directory Actual results: The current directory is now "a/" Expected results: I expected "a/b/" Does this happen every time? yes Other information:
Created attachment 132877 [details] [review] A patch to terminal.py A patch which solves the problem on Ubuntu Jaunty
+ from sys import stderr Why did you add this? Apart from that, if you are creating the patch against the brand new git repository, can you create it with the "git format-patch" including a good changelog? Thanks!
Also, bad nacho!
(In reply to comment #3) > Also, bad nacho! > mmmm, right sorry about this.
Comment on attachment 132877 [details] [review] A patch to terminal.py --- /usr/lib/gedit-2/plugins/terminal.py.bak 2009-04-18 20:47:04.942139897 +0200 +++ /usr/lib/gedit-2/plugins/terminal.py 2009-04-20 00:16:32.946158956 +0200 @@ -263,7 +263,7 @@ if uri is not None and gedit.utils.uri_has_file_scheme(uri): gfile = gio.File(uri) directory = gfile.get_parent() - return os.path.dirname(directory.get_path()) + return directory.get_path() return None def on_panel_populate_popup(self, panel, menu):
(In reply to comment #2) > + from sys import stderr > > Why did you add this? > > > Apart from that, if you are creating the patch against the brand new git > repository, can you create it with the "git format-patch" including a good > changelog? > > > Thanks! > My bad... I let this one line slip through. I do not actually know where this repository is... I searched on the gnome live gedit page and the gedit site. If you give me the address, it will be my pleasure.
Created attachment 132929 [details] [review] Git-formated patch against the latest head of the gedit-plugins git repository I did find the git repository...
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.