mirror of
https://github.com/powerline/powerline.git
synced 2025-04-08 19:25:04 +02:00
Merge commit 'HEAD@{1}' into develop
This commit is contained in:
commit
7139021c45
@ -138,11 +138,9 @@ def uses(pl, args):
|
||||
for sh in (shell, 'shell') if shell else ('shell'):
|
||||
varname = template.format(shell=sh.upper(), component=component.upper())
|
||||
if os.environ.get(varname):
|
||||
print ('HERE')
|
||||
sys.exit(1)
|
||||
config = get_main_config(args)
|
||||
if component in config.get('ext', {}).get('shell', {}).get('components', ('tmux', 'prompt')):
|
||||
sys.exit(0)
|
||||
else:
|
||||
print ('THERE')
|
||||
sys.exit(1)
|
||||
|
Loading…
x
Reference in New Issue
Block a user