diff options
Diffstat (limited to '')
| -rw-r--r-- | terminal.vala | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/terminal.vala b/terminal.vala index bb66715..da013a5 100644 --- a/terminal.vala +++ b/terminal.vala @@ -396,9 +396,12 @@ class Terminal : Gtk.Overlay { } string? get_cwd() { - string? osc7_path = get_osc7_path(); - if (osc7_path != null) - return osc7_path; + if (conf.prefer_osc7) { + string? osc7_path = get_osc7_path(); + if (osc7_path != null) + return osc7_path; + } + return Posix.realpath("/proc/%i/cwd".printf(child_pid)); } |