packaging: Remove docker installation option

This commit is contained in:
Andrew Hamilton 2023-09-13 23:40:41 +10:00
parent 65a3f1a36e
commit b6b9b44ec3
2 changed files with 0 additions and 14 deletions

View file

@ -25,13 +25,6 @@ Then to run:
eris -h
eris-webserver <project> # 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)

View file

@ -41,13 +41,6 @@ Then to run:
eris -h
eris-webserver <project> # 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)})