Skip to content

Commit

Permalink
Add instructions on how to use DevContainers outside of GitHub or VSC…
Browse files Browse the repository at this point in the history
…ode (#135)
  • Loading branch information
yvan-sraka authored Apr 4, 2024
1 parent 4604d89 commit be992af
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,10 @@ It's also advised to enable GitHub CodeSpace prebuilds in your repository settin

List of images available: `ghc810-iog`, `ghc96-iog`, `ghc810-js-iog`, `ghc96-js-iog`, `ghc810-windows-iog`, `ghc96-windows-iog`.

> [!TIP]
> If you wish to utilize the DevContainer as a normal Docker container outside of GitHub or VSCode, remember to prefix your commands with `bash -ic`. This is necessary because the Nix developer environment is loaded through `~/.bashrc`.
> E.g., `docker run -it ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc96-iog bash -ic "cabal --version"`
## Compilers and Flavors

There are multiple compilers available, and usually the latest for each series
Expand Down

0 comments on commit be992af

Please sign in to comment.