enso/tools/ci/README.md
Hubert Plociniczak b00dc9e9c0
Minor cleanups to docker image (#8925)
* Minor cleanups to docker image

* format

* nit
2024-02-11 21:52:47 +01:00

715 B

CI Tools

This folder contains miscellaneous utilities for CI.

Docker

Building

A custom docker image requires a certain number of directories to be present from a desired edition. The root directory of the docker build context can be provided in the docker build command:

docker build -t <my-custom-name> -f tools/ci/docker/DockerFile --build-context docker-tools=tools/ci/docker built-distribution/enso-engine-$VERSION-linux-amd64/enso-$VERSION

where for a locally built distribution on Linux it would be VERSION=0.0.0-dev.

Running

To start Language Server with a default configuration simply run the built image with the chosen name:

docker run -t <my-custom-name>