Skip to content

Latest commit

 

History

History
35 lines (25 loc) · 1.12 KB

README.md

File metadata and controls

35 lines (25 loc) · 1.12 KB

beste.schule development enviroment using devenv

Usage

devenv shell (or automatically with direnv)

(recommended) Installation with direnv

  1. Put this in your .envrc
# make devenv available in shell and download beste.schule devenv files
use flake github:oscar-schwarz/devenv-beste-schule/4280a5abff530d81abc09e1be6204e0da8ebdf28

# `devenv shell` on direnv trigger
source_url "https://raw.githubusercontent.com/cachix/devenv/82c0147677e510b247d8b9165c54f73d32dfd899/direnvrc" "sha256-7u4iDd1nZpxL4tCzmPG0dQgC5V+/44Ba+tHkPob1v2k="
use devenv
  1. direnv allow

Installation

  1. install devenv

  2. Fetch the files from this repo into the beste.schule repo. For example, like this:

curl https://raw.githubusercontent.com/oscar-schwarz/devenv-beste-schule/refs/heads/main/devenv.lock \
> devenv.lock && \
curl https://raw.githubusercontent.com/oscar-schwarz/devenv-beste-schule/refs/heads/main/devenv.nix \
> devenv.nix && \
curl https://raw.githubusercontent.com/oscar-schwarz/devenv-beste-schule/refs/heads/main/devenv.yaml \
> devenv.yaml
  1. launch the shell with devenv up