https://github.com/ubaldop/vagrant-idris
Vagrant template for Idris
https://github.com/ubaldop/vagrant-idris
haskell-learning idris idris-ecosystem ubuntu1604 vagrant
Last synced: 3 months ago
JSON representation
Vagrant template for Idris
- Host: GitHub
- URL: https://github.com/ubaldop/vagrant-idris
- Owner: ubaldop
- License: apache-2.0
- Created: 2018-07-20T12:01:51.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2018-07-20T13:18:07.000Z (almost 7 years ago)
- Last Synced: 2025-01-08T17:09:26.722Z (4 months ago)
- Topics: haskell-learning, idris, idris-ecosystem, ubuntu1604, vagrant
- Language: Shell
- Size: 8.79 KB
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Vagrant template for Idris machine
## Purpose
Minimal Vagrant VM config for Idris development.
It loads a Virtualbox VM of Ubuntu 16.04 LTS and provisions with the following software:
* `ghc`
* `cabal`
* `idris`
Also, as utility, it provisions a shell with `liquidprompt`.
## Usage
Clone this repo in whatever directory you prefer, and from that directory:
```sh
# Provisions the VM
vagrant up
# SSH into the VM
vagrant ssh
```
Once you've done with your activities you can:
```sh
# Shut the VM down
vagrant halt
# Remove the VM completely.
vagrant destroy
```
## Compatibility
This VM has been tested using Vagrant 2.0.0 and Virtualbox 5.1.28 r117968 from a Windows 10 host.
Please let me know if it works for you on other platforms!
## Credits
In scaffolding this VM I took inspiration from `vagrant-haskell-minimal` by `jship`. It is available [here](https://github.com/jship/vagrant-haskell-minimal).
## Disclaimer
This repo is a quick and dirty configuration, please fill free to improve it according to your needs.