DEVRC

This repo assumes you are running Ubuntu 20 LTS or NixOS, but it may work on other versions/distros if you are lucky.

Installation

Follow these steps to initialize a fresh environment capable of building and running any Innovation Upstream repo.

1. mkdir $HOME/workspace && cd $HOME/workspace (Optional, see step 4)
2. Clone this repo
3. Run cmd/install.sh
4. Run home-manager switch build the env

(Optional) If you cloned devrc into a different directory, you will need to set the DEVRC_DIR environment variable in ~/.devrc.

$ export DEVRC_DIR="$HOME/workspace-2/devrc"
$ source $DEVRC_DIR/.zshrc

Customization

If you need to add/modify your shell profile, you can do so by creating/modifying ~/.devrc. (home-manager will tell zsh to source this file if it exists)