{"id":25185167,"url":"https://github.com/joshuanianji/idris-2-docker","last_synced_at":"2025-05-07T14:01:57.728Z","repository":{"id":63027931,"uuid":"529512565","full_name":"joshuanianji/idris-2-docker","owner":"joshuanianji","description":"Multi-arch, multi-distro Docker images for Idris 2","archived":false,"fork":false,"pushed_at":"2025-03-31T02:54:29.000Z","size":395,"stargazers_count":13,"open_issues_count":6,"forks_count":2,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-03-31T10:42:39.550Z","etag":null,"topics":["devcontainer","docker","idris2"],"latest_commit_sha":null,"homepage":"","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/joshuanianji.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-08-27T07:17:48.000Z","updated_at":"2024-12-13T06:54:42.000Z","dependencies_parsed_at":"2025-02-09T19:47:27.544Z","dependency_job_id":null,"html_url":"https://github.com/joshuanianji/idris-2-docker","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joshuanianji%2Fidris-2-docker","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joshuanianji%2Fidris-2-docker/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joshuanianji%2Fidris-2-docker/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joshuanianji%2Fidris-2-docker/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/joshuanianji","download_url":"https://codeload.github.com/joshuanianji/idris-2-docker/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252892501,"owners_count":21820648,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["devcontainer","docker","idris2"],"created_at":"2025-02-09T19:36:58.524Z","updated_at":"2025-05-07T14:01:57.680Z","avatar_url":"https://github.com/joshuanianji.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Idris 2 Docker\n\nMulti-arch, multi-distro Docker images for Idris 2, primarily aimed for devcontainers.\n\nArchitectures: `amd64`, `arm64`\n\nIdris Versions: `v0.5.1`, `v0.6.0`, `v0.7.0`, `latest` (Up to date with [Idris2/main](https://github.com/idris-lang/Idris2/tree/main) - recompiled daily)\n\n## Table of Contents\n\n- [Idris 2 Docker](#idris-2-docker)\n  - [Table of Contents](#table-of-contents)\n  - [Motivation](#motivation)\n  - [Images](#images)\n  - [Example Project](#example-project)\n  - [Usage](#usage)\n    - [Devcontainer](#devcontainer)\n    - [Command Line](#command-line)\n    - [Base Image](#base-image)\n  - [Running Locally](#running-locally)\n    - [Build Latest](#build-latest)\n    - [Build From a Tagged Release/SHA commit](#build-from-a-tagged-releasesha-commit)\n  - [Credit](#credit)\n\n## Motivation\n\nInstalling Idris2 is [quite time consuming](https://idris2.readthedocs.io/en/latest/tutorial/starting.html) and [not very intuitive](https://github.com/idris-lang/Idris2/issues/2404), [especially for Apple Silicon](https://www.reddit.com/r/Idris/comments/wyox7i/building_idris2_for_apple_silicon_as_of_august/). That presents quite a bottleneck for new users. This project aims to provide a quick and easy way to get started with Idris2 without having to go through the entire process on your own machine.\n\n## Images\n\n* [idris-2-docker/base](https://github.com/joshuanianji/idris-2-docker/pkgs/container/idris-2-docker%2Fbase) - Base image with Idris2 installed from source.\n* [idris-2-docker/devcontainer](https://github.com/joshuanianji/idris-2-docker/pkgs/container/idris-2-docker%2Fdevcontainer) - Includes [Idris2 LSP](https://github.com/idris-community/idris2-lsp)\n* [idris-2-docker/ubuntu](https://github.com/joshuanianji/idris-2-docker/pkgs/container/idris-2-docker%2Fubuntu) - Ubuntu 20.04\n* [idris-2-docker/debian](https://github.com/joshuanianji/idris-2-docker/pkgs/container/idris-2-docker%2Fdebian) - Debian bullseye\n\n## Example Project\n\nAn 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.\n\n```bash\ngit clone git@github.com:joshuanianji/idris-2-docker.git\ncd idris-2-docker/example\ncode .\n```\n\n## Usage\n\n### Devcontainer\n\nAdd devcontainers to your own project by copying the following contents to `Dockerfile` in the root of your project:\n\n```dockerfile\nFROM ghcr.io/joshuanianji/idris-2-docker/devcontainer:v0.7.0\n```\n\nThen, using Microsoft's Remote SSH tools, click \"Reopen in container\" and choose that Dockerfile.\n\n### Command Line\n\nYou can also run the image directly from the command line.\n\n```bash\ndocker run -it --rm ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.5.1 idris2 --version\nIdris 2, version 0.5.1\n\ndocker run -it --rm --entrypoint /bin/bash ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1\n$ idris2 --version\n```\n\n### Base Image\n\nYou can also use one of the images as a base image for your own Dockerfile.\n\n```dockerfile\nFROM ghcr.io/joshuanianji/idris-2-docker/debian:v0.5.1\n\n# ...\n```\n\n## Running Locally\n\nTo 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 the base, debian, ubuntu or devcontainer from an idris version or a SHA commit.\n\n### Build Latest\n\nThis is the default behaviour when running the script.\n\n```bash\n# builds base from latest commit on the Idris repo. Tag is base-latest\npython scripts/build-image.py --image base\npython scripts/build-image.py --image devcontainer --tag devcontainer-latest-test\n```\n\n### Build From a Tagged Release/SHA commit\n\n```bash\npython scripts/build-image.py --image base --version v0.6.0\npython scripts/build-image.py --image base --sha 58e5d156621cfdd4c54df26abf7ac9620cfebdd8\npython scripts/build-image.py --image devcontainer --version v0.6.0\n```\n\n## Credit\n\n* [dgellow/idris-docker-image](https://github.com/dgellow/idris-docker-image) for giving me a starting point\n* [YBogomolov's Gist](https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753) for Devcontainer pointers\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjoshuanianji%2Fidris-2-docker","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjoshuanianji%2Fidris-2-docker","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjoshuanianji%2Fidris-2-docker/lists"}