KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'clone-in-kitty' of https://github.com/page-down/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2022-04-15 19:49:33 +05:30
commit 8d4f6681e8
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/launch.py
View File

@ -567,9 +567,13 @@ class CloneCmd:
self.args.append(v)
elif k == 'env':
self.env = parse_bash_env(v) if self.envfmt == 'bash' else parse_null_env(v)
for filtered in ('PS0', 'PS1', 'PS2', 'PS3', 'PS4', 'RPS1', 'PROMPT_COMMAND'):
for filtered in (
# some people export these. We want the shell rc files to
# recreate them
'PS0', 'PS1', 'PS2', 'PS3', 'PS4', 'RPS1', 'PROMPT_COMMAND', 'SHLVL',
# skip SSH environment variables
'SSH_CLIENT', 'SSH_CONNECTION', 'SSH_ORIGINAL_COMMAND', 'SSH_TTY', 'SSH2_TTY',
):
self.env.pop(filtered, None)
elif k == 'cwd':
self.cwd = v