From 5de63873df761f00f28e0a116b9e3c20e0da748b Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Wed, 19 Jun 2013 15:38:24 +0200 Subject: [PATCH] Fix and improve settings.cache_directory document fixes #244 --- jedi/settings.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/jedi/settings.py b/jedi/settings.py index 666547c9..3f3598c8 100644 --- a/jedi/settings.py +++ b/jedi/settings.py @@ -127,8 +127,10 @@ 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\\``. +On Linux, this defaults to ``~/.cache/jedi/``, on OS X to +``~/Library/Caches/Jedi/`` and on Windows to ``%APPDATA%\\Jedi\\Jedi\\``. +On Linux, if environment variable ``$XDG_CACHE_HOME`` is set, +``$XDG_CACHE_HOME/jedi`` is used instead of the default one. """ # ----------------