mirror of
https://github.com/powerline/powerline.git
synced 2025-07-24 14:25:21 +02:00
Merge remote-tracking branch 'dbrodie/fix_625' into develop
This commit is contained in:
commit
db27dd37a6
@ -16,6 +16,8 @@ def generate_directories(path):
|
||||
if os.path.isdir(path):
|
||||
yield path
|
||||
while True:
|
||||
if os.path.ismount(path):
|
||||
break
|
||||
old_path = path
|
||||
path = os.path.dirname(path)
|
||||
if path == old_path or not path:
|
||||
|
Loading…
x
Reference in New Issue
Block a user