diff options
author | Juhani Krekelä | 2021-07-03 00:03:03 +0300 |
---|---|---|
committer | Wolfgang Müller | 2021-07-02 23:12:03 +0200 |
commit | f27b50ae42bce241495e41f31670ba492382a52a (patch) | |
tree | 7618005d38077c23909775ef6c8d5d1a66575d76 /weltschmerz.desktop | |
parent | df43ece1d063e896da43916b9a836da5226c36b9 (diff) | |
download | weltschmerz-f27b50ae42bce241495e41f31670ba492382a52a.tar.gz |
Only allow opening local directories
The proposed OSC 7 specification mandates [1] that the file:// URI
includes the hostname, so that the terminal emulator can ignore remotely
used programs' attempts to set the current working directory. However,
VTE does not check the hostname component, and neither does
launch_default_for_uri. Thus currently if one tries to open directory
after running a remote program that used OSC 7, weltschmerz tries to
open a file manager pointing at corresponding path on the local
computer.
weltschmerz already contains a function that checks the URI kept by VTE
and returns the path only if it is on the local computer. This commit
changes open_directory() to first use that, and then create a new local
file:// URI based on it, unifying the behaviour of 'Open directory' and
'Open terminal'.
[1] https://gitlab.freedesktop.org/terminal-wg/specifications/-/issues/20#note_294252
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions