tjh.dev
1diff --git a/coq/__main__.py b/coq/__main__.py
2index f588f718..36bcca21 100644
3--- a/coq/__main__.py
4+++ b/coq/__main__.py
5@@ -78,7 +78,7 @@ _EXEC_PATH = Path(executable)
6 _EXEC_PATH = _EXEC_PATH.parent.resolve(strict=True) / _EXEC_PATH.name
7 _REQ = REQUIREMENTS.read_text()
8
9-_IN_VENV = _RT_PY.parent.resolve() / _RT_PY.name == _EXEC_PATH
10+_IN_VENV = True
11
12
13 if command == "deps":
14@@ -152,7 +152,7 @@ elif command == "run":
15 try:
16 if not _IN_VENV:
17 raise ImportError()
18- elif lock != _REQ:
19+ elif False:
20 raise ImportError()
21 else:
22 import pynvim_pp
23diff --git a/coq/consts.py b/coq/consts.py
24index 804e92ab..5c090a93 100644
25--- a/coq/consts.py
26+++ b/coq/consts.py
27@@ -10,7 +10,7 @@ TOP_LEVEL = Path(__file__).resolve(strict=True).parent.parent
28 REQUIREMENTS = TOP_LEVEL / "requirements.txt"
29
30
31-VARS = TOP_LEVEL / ".vars"
32+VARS = Path.home() / ".cache/coq_nvim/vars"
33
34 RT_DIR = VARS / "runtime"
35 RT_PY = RT_DIR / "Scripts" / "python.exe" if IS_WIN else RT_DIR / "bin" / "python3"