From cc3168ee0a8e1ccf0410456cb5fc72f62f3a680a Mon Sep 17 00:00:00 2001 From: David Halter Date: Thu, 10 Jan 2013 10:32:47 +0100 Subject: [PATCH] added filesystem cache options --- jedi/settings.py | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/jedi/settings.py b/jedi/settings.py index 405fd5a4..cef4dd4f 100644 --- a/jedi/settings.py +++ b/jedi/settings.py @@ -22,6 +22,13 @@ Completion output .. autodata:: no_completion_duplicates +Filesystem cache +~~~~~~~~~~~~~~~~ + +.. autodata:: jedi_cache_directory +.. autodata:: use_fs_cache + + Parser ~~~~~~ @@ -103,6 +110,20 @@ If set, completions with the same name don't appear in the output anymore, but are in the `same_name_completions` attribute. """ +# ---------------- +# Filesystem cache +# ---------------- + +use_filesystem_cache = True +""" +Use filesystem cache to save once parsed files with pickle. +""" + +jedi_cache_directory = '~/.jedi' +""" +The path where all the caches can be found. +""" + # ---------------- # parser # ----------------