mirror of
https://github.com/wting/autojump
synced 2024-10-27 20:34:07 +00:00
add no os.path.realpath() comment
This commit is contained in:
parent
f84dffb7c7
commit
bd091b8766
@ -156,7 +156,12 @@ def parse_args(config):
|
|||||||
|
|
||||||
|
|
||||||
def add_path(config, path, increment=10):
|
def add_path(config, path, increment=10):
|
||||||
"""Add a new path or increment an existing one."""
|
"""
|
||||||
|
Add a new path or increment an existing one.
|
||||||
|
|
||||||
|
os.path.realpath() is not used because users prefer to have short, symlinked
|
||||||
|
paths with duplicate entries in the database than a single canonical path.
|
||||||
|
"""
|
||||||
path = decode(path).rstrip(os.sep)
|
path = decode(path).rstrip(os.sep)
|
||||||
if path == os.path.expanduser('~'):
|
if path == os.path.expanduser('~'):
|
||||||
return path, 0
|
return path, 0
|
||||||
|
Loading…
Reference in New Issue
Block a user