diff --git a/tools.py b/tools.py index a1e4554..257da8b 100644 --- a/tools.py +++ b/tools.py @@ -550,6 +550,9 @@ def php5_syntax(path): php5_syntax.dependencies = {"php5"} +############################# + + def lru_cache_with_eviction(maxsize=128, typed=False): versions = {} make_key = functools._make_key diff --git a/vigil b/vigil index a58adf8..9d7d128 100755 --- a/vigil +++ b/vigil @@ -1068,8 +1068,8 @@ def check_arguments(): if __name__ == "__main__": root_path, worker_count, is_sandboxed, editor_command = check_arguments() - subprocess.call(["sudo", "-p", "Vigil needs sudo to run any script that " - "needs sudo... [sudo] password for %u: ", "true"]) + subprocess.call(["sudo", "-p", "Vigil uses sudo... " + "[sudo] password for %u: ", "true"]) with terminal.console_title("vigil: " + os.path.basename(root_path)): manage_cache(root_path) with chdir(root_path): # FIX: Don't change directory if possible.