From 072b2b3132cb2e37227704112f2d8f23fc9d80db Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Tue, 18 Jan 2022 15:30:40 +1000 Subject: [PATCH] Install from latest tag - Installing from latest tag is best afterall. - The tip pulls in dependencies from their latest tag, but that combination is untested. - Only tagged commits are tested to work. --- README.md | 2 +- packaging/make-readme.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f858bf5..7d711b0 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ Eris maintains an up-to-date set of reports for every file in a codebase. Install eris directly using pip, and apt install the tools eris relies on: pip install --upgrade pip # A recent version of pip is needed. - pip install git+https://github.com/ahamilton/eris#subdirectory=eris + pip install git+https://github.com/ahamilton/eris@v2022.01.13#subdirectory=eris eris --apt-install-tools Or install from source: (including tools) diff --git a/packaging/make-readme.py b/packaging/make-readme.py index 63c29ca..c9f72d1 100755 --- a/packaging/make-readme.py +++ b/packaging/make-readme.py @@ -27,7 +27,7 @@ Eris maintains an up-to-date set of reports for every file in a codebase. Install eris directly using pip, and apt install the tools eris relies on: pip install --upgrade pip # A recent version of pip is needed. - pip install git+https://github.com/ahamilton/eris#subdirectory=eris + pip install git+https://github.com/ahamilton/eris@v2022.01.13#subdirectory=eris eris --apt-install-tools Or install from source: (including tools)