diff options
author | Gaetan Lepage <gaetan@glepage.com> | 2023-11-11 14:38:28 +0100 |
---|---|---|
committer | Gaetan Lepage <gaetan@glepage.com> | 2023-11-15 09:23:14 +0100 |
commit | 3328bb3072336e81564af0bbd3b7c2f4d071ea52 (patch) | |
tree | d039bc548ec8e824c3ca011ff932119bb5176f33 | |
parent | dec68826e6d8b0eb476f8cc8fa87118c5b8e13d4 (diff) | |
download | nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.tar nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.tar.gz nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.tar.bz2 nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.tar.lz nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.tar.xz nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.tar.zst nixpkgs-3328bb3072336e81564af0bbd3b7c2f4d071ea52.zip |
vimPlugins.coq_nvim: update venv patch
-rw-r--r-- | pkgs/applications/editors/vim/plugins/patches/coq_nvim/emulate-venv.patch | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/pkgs/applications/editors/vim/plugins/patches/coq_nvim/emulate-venv.patch b/pkgs/applications/editors/vim/plugins/patches/coq_nvim/emulate-venv.patch index da0222fbbe4..e0980a3ccb0 100644 --- a/pkgs/applications/editors/vim/plugins/patches/coq_nvim/emulate-venv.patch +++ b/pkgs/applications/editors/vim/plugins/patches/coq_nvim/emulate-venv.patch @@ -1,15 +1,15 @@ diff --git a/coq/__main__.py b/coq/__main__.py -index 5a6c6fd2..e0d9eec8 100644 +index dd40afc1..36bcca21 100644 --- a/coq/__main__.py +++ b/coq/__main__.py @@ -78,7 +78,7 @@ _EXEC_PATH = Path(executable) _EXEC_PATH = _EXEC_PATH.parent.resolve(strict=True) / _EXEC_PATH.name _REQ = REQUIREMENTS.read_text() - + -_IN_VENV = _RT_PY == _EXEC_PATH +_IN_VENV = True - - + + if command == "deps": @@ -152,7 +152,7 @@ elif command == "run": try: @@ -21,15 +21,15 @@ index 5a6c6fd2..e0d9eec8 100644 else: import pynvim_pp diff --git a/coq/consts.py b/coq/consts.py -index 5a027fe9..a3e0c5a4 100644 +index 804e92ab..5c090a93 100644 --- a/coq/consts.py +++ b/coq/consts.py -@@ -9,7 +9,7 @@ TOP_LEVEL = Path(__file__).resolve(strict=True).parent.parent +@@ -10,7 +10,7 @@ TOP_LEVEL = Path(__file__).resolve(strict=True).parent.parent REQUIREMENTS = TOP_LEVEL / "requirements.txt" - - + + -VARS = TOP_LEVEL / ".vars" +VARS = Path.home() / ".cache/coq_nvim/vars" - + RT_DIR = VARS / "runtime" RT_PY = RT_DIR / "Scripts" / "python.exe" if IS_WIN else RT_DIR / "bin" / "python3" |