idris-2-docker

KO | EN

gitlite — search

#python #react #typescript #llm #go #android #machine-learning #deep-learning #linux #nodejs #macos #windows #security #openai

(★ 13)

Multi-arch Docker images for Idris 2

idris-2-docker 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Idris 2 Docker

Multi-arch Docker images for Idris 2, primarily aimed for devcontainers.

Architectures: `amd64`, `arm64`

Idris Versions: `v0.6.0`, `v0.7.0`, `v0.8.0`, `latest` (Up to date with [Idris2/main](https://github.com/idris-lang/Idris2/tree/main) - recompiled daily)

## Table of Contents

- [Idris 2 Docker](#idris-2-docker)
  - [Table of Contents](#table-of-contents)
  - [Motivation](#motivation)
  - [Images](#images)
  - [Example Project](#example-project)
  - [Usage](#usage)
    - [Devcontainer](#devcontainer)
    - [Command Line](#command-line)
    - [Base Image](#base-image)
  - [Running Locally](#running-locally)
    - [Build Latest](#build-latest)
    - [Build From a Tagged Release/SHA commit](#build-from-a-tagged-releasesha-commit)
    - [Running tests](#running-tests)
  - [Credit](#credit)

## Motivation

The most common way of installing [Idris2](https://github.com/idris-lang/Idris2) on your computer is by building it from source, which is pretty time consuming. This projects aims to make that easier by leveraging pre-built Docker images with [devcontainers](https://containers.dev/).

## Images

* [idris-2-docker/base](https://github.com/joshuanianji/idris-2-docker/pkgs/container/idris-2-docker%2Fbase) - Base image with Idris2 installed from source (debian-based)
* [idris-2-docker/devcontainer](https://github.com/joshuanianji/idris-2-docker/pkgs/container/idris-2-docker%2Fdevcontainer) - Uses [pack](https://github.com/stefan-hoeck/idris2-pack) to install Idris and [Idris-lsp](https://github.com/idris-community/idris2-lsp). Also includes [rlwrap](https://github.com/hanslub42/rlwrap).

## Example Project

An example Hello World project taken from the [Getting Started Guide](https://idris2.readthedocs.io/en/latest/tutorial/starting.html) can be found in [example](./example). It uses Idris 0.7.0. To start, clone this repo and open the example folder (not the root!) in VSCode.

```bash
git clone git@github.com:joshuanianji/idris-2-docker.git
cd idris-2-docker/example
code .
```

## Usage

### Devcontainer

Add devcontainers to your own project by copying the following contents to `Dockerfile` in the root of your project:

```dockerfile
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.7.0
```

Then, using Microsoft's Remote SSH tools, click "Reopen in container" and choose that Dockerfile.

### Command Line

You can also run the image directly from the command line.

```bash
docker run -it --rm ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0 idris2 --version
Idris 2, version 0.7.0

docker run -it --rm --entrypoint /bin/bash ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.7.0
$ idris2 --version
```

### Base Image

You can also use one of the images as a base image for your own Dockerfile.

```dockerfile
FROM ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0

# ...
```

## Running Locally

To run the images locally, I recommend opening the workspace in the Devcontainer to provide a fully-featured development environment. I made a `scripts/build-image.py` which can build an image from from an idris version. You can also build the base image from an arbitrary SHA commit from the Idris2 repo.

### Build Latest

This is the default behaviour when running the script.

```bash
# this is the only module we need, so i chose not to create a requirements.txt file
pip install -U requests

# builds base from latest commit on the Idris repo. Tag is base-latest
python scripts/build-image.py --image base
python scripts/build-image.py --image ubuntu
python scripts/build-image.py --image devcontainer --tag devcontainer-latest
```

### Build From a Tagged Release/SHA commit

```bash
python scripts/build-image.py --image base --version v0.7.0
python scripts/build-image.py --image base --sha 58e5d156621cfdd4c54df26abf7ac9620cfebdd8
python scripts/build-image.py --image devcontainer --version v0.7.0
```

### Running tests

We have some tests to ensure the docker images are working as expected, using [bats](https://github.com/bats-core/bats-core). The bats CLI tool should already be installed in the devcontainer.

You'll need to install the `bats-support` and `bats-assert` libraries. I found the easiest way to do this was to clone via git:

```bash
git clone https://github.com/bats-core/bats-support test/test_helper/bats-support
git clone https://github.com/bats-core/bats-assert test/test_helper/bats-assert
```

To run a test on a specific image, set the required variables, and run the bats command. The following is an example for the base image

```bash
export LIB_PATH=$(pwd)/tests/test_helper
export DOCKER_IMAGE=
export IDRIS_VERSION=latest
bats tests/base.bats
```

## Credit

* [dgellow/idris-docker-image](https://github.com/dgellow/idris-docker-image) for giving me a starting point
* [YBogomolov's Gist](https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753) for Devcontainer pointers

idris-2-docker

idris-2-docker 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

idris-2-docker

idris-2-docker 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README