From 968d2b8443d5f5ead70c87d1d15c46e8eb482e2a Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Wed, 4 Jun 2025 23:00:11 +1000 Subject: [PATCH] Fix README formatting --- README.md | 1 + packaging/make-readme.py | 1 + 2 files changed, 2 insertions(+) diff --git a/README.md b/README.md index 874dbbf..4b294d4 100644 --- a/README.md +++ b/README.md @@ -21,6 +21,7 @@ Then use uv to install eris: uv tool install git+https://gitlab.com/ahamilton/eris@v2025.06.04 Then use eris to install all the tools it uses: + eris --install-all-tools Or install from source: (including tools) diff --git a/packaging/make-readme.py b/packaging/make-readme.py index 1f10441..f2e952d 100755 --- a/packaging/make-readme.py +++ b/packaging/make-readme.py @@ -37,6 +37,7 @@ Then use uv to install eris: uv tool install git+https://gitlab.com/ahamilton/eris@v2025.06.04 Then use eris to install all the tools it uses: + eris --install-all-tools Or install from source: (including tools)