mirror of
https://github.com/davidhalter/jedi.git
synced 2026-01-10 14:02:27 +08:00
Merge commit '46d49fd66c6e2ca61153cebab3f3bf7366dd0879' into dev.
Dangling commit by force-push.
This commit is contained in:
@@ -81,6 +81,8 @@ Various
|
||||
|
||||
|
||||
"""
|
||||
import os
|
||||
import platform
|
||||
|
||||
# ----------------
|
||||
# completion output settings
|
||||
@@ -119,10 +121,18 @@ use_filesystem_cache = True
|
||||
Use filesystem cache to save once parsed files with pickle.
|
||||
"""
|
||||
|
||||
import os
|
||||
cache_directory = os.getenv('HOME') + os.path.sep + '.jedi'
|
||||
if platform.system().lower() == 'windows':
|
||||
_cache_directory = os.path.join(os.getenv('APPDATA') or '~', 'Jedi', 'Jedi')
|
||||
elif platform.system().lower() == 'darwin':
|
||||
_cache_directory = os.path.join('~', 'Library', 'Caches', 'Jedi')
|
||||
else:
|
||||
_cache_directory = os.path.join(os.getenv('XDG_CACHE_HOME') or '~/.cache', 'jedi')
|
||||
cache_directory = os.path.expanduser(_cache_directory)
|
||||
"""
|
||||
The path where all the caches can be found.
|
||||
|
||||
On Linux, this defaults to ``~/.cache/jedi/``, on OS X to ``~/.jedi/`` and on
|
||||
Windows to ``%APPDATA%\\Jedi\\Jedi\\``.
|
||||
"""
|
||||
|
||||
# ----------------
|
||||
|
||||
Reference in New Issue
Block a user