OILS / .envrc View on Github | oilshell.org

12 lines, 9 significant
1#!/usr/bin/env bash
2
3#### Description
4# Direnv is a tool for user to separate their shell config into different folder specific profile. When `cd`ing into the `oil` folder, if direnv is allowed to run the script, it will automatically run the `build/dev-shell.sh` script. and dump environment variables into current shell.
5
6#### Usage
7# - Install direnv and its shell hook on https://direnv.net/#getting-started
8# - cd into git repo root
9# - Run `direnv allow`
10# - Now whenever you cd into oil repo or one of its subdirs, direnv will load environment variables directly for you.
11
12. build/dev-shell.sh