mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-26 02:41:54 +00:00
Merge branch 'clone-in-kitty' of https://github.com/page-down/kitty
This commit is contained in:
commit
57ea524464
1 changed files with 1 additions and 0 deletions
|
|
@ -568,6 +568,7 @@ class CloneCmd:
|
|||
elif k == 'env':
|
||||
self.env = parse_bash_env(v) if self.envfmt == 'bash' else parse_null_env(v)
|
||||
for filtered in (
|
||||
'HOME', 'LOGNAME', 'USER',
|
||||
# some people export these. We want the shell rc files to
|
||||
# recreate them
|
||||
'PS0', 'PS1', 'PS2', 'PS3', 'PS4', 'RPS1', 'PROMPT_COMMAND', 'SHLVL',
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue