From b6b9b44ec3676cf8e66766accadf57aa08a213d9 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Wed, 13 Sep 2023 23:40:41 +1000 Subject: [PATCH] packaging: Remove docker installation option --- README.md | 7 ------- packaging/make-readme.py | 7 ------- 2 files changed, 14 deletions(-) diff --git a/README.md b/README.md index 7ed4276..3b95e11 100644 --- a/README.md +++ b/README.md @@ -25,13 +25,6 @@ Then to run: eris -h eris-webserver # Or a simple web interface. -#### Docker - - git clone https://gitlab.com/ahamilton/eris - cd eris - sudo docker build -t eris -f packaging/Dockerfile . - cp packaging/eris-docker ~/bin/eris # e.g. Put wrapper script in your PATH - ## Tools File types(101) | Tools(58) diff --git a/packaging/make-readme.py b/packaging/make-readme.py index ba28617..1c582cd 100755 --- a/packaging/make-readme.py +++ b/packaging/make-readme.py @@ -41,13 +41,6 @@ Then to run: eris -h eris-webserver # Or a simple web interface. -#### Docker - - git clone https://gitlab.com/ahamilton/eris - cd eris - sudo docker build -t eris -f packaging/Dockerfile . - cp packaging/eris-docker ~/bin/eris # e.g. Put wrapper script in your PATH - ## Tools File types({len(extension_set)-1}) | Tools({len(tool_set)})