diff options
author | Ben Sima <ben@bsima.me> | 2022-07-18 10:01:30 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2022-07-18 22:23:12 -0400 |
commit | 2da57835006168e27b7f9b3226706c342df90f3a (patch) | |
tree | 21d0ce50d7eca8f4b976e2f6ade614fa09d01251 /.envrc | |
parent | f6fcc3a51e1914e0270d60d4c688a0f747716018 (diff) |
Delete ShellHook.sh in favor of just using direnv
Diffstat (limited to '.envrc')
-rw-r--r-- | .envrc | 59 |
1 files changed, 34 insertions, 25 deletions
@@ -1,25 +1,34 @@ -if ! has nix_direnv_version || ! nix_direnv_version 1.5.1; then - source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/1.5.1/direnvrc" "sha256-p4CDMJjuBmEh9pkn2aoJrZqr0DlPZHPU7eXOSDzzcuo=" -fi - -use nix - -export BIZ_ROOT=$PWD - -PATH_add $BIZ_ROOT/Biz/Ide - -# for some reason I need this to get ':e' in ghci to load my vimrc -export EDITOR=vim -export GUILE_LOAD_PATH=$BIZ_ROOT - -# Biz/Devalloc.hs: -export GITHUB_CLIENT_ID=aa575dc96263bc99556d -export GITHUB_CLIENT_STATE=$(cat /proc/sys/kernel/random/uuid) -export STRIPE_PUBKEY=pk_test_51I3jv1IC3f10BNLClrBmNr485mWSzQkITvjO0MmSeFn4chFqmODJaHcI7IiN1sqSJYusmRhuPzeGTbCrl8dMsSQP00JXUmlVFC - -if type lorri &>/dev/null -then - eval "$(lorri direnv)" -fi - -. ./.envrc.local +# setup dev environment using direnv +# + if ! has nix_direnv_version || ! nix_direnv_version 1.5.1; then + source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/1.5.1/direnvrc" "sha256-p4CDMJjuBmEh9pkn2aoJrZqr0DlPZHPU7eXOSDzzcuo=" + fi +# + use nix +# + export BIZ_ROOT=$PWD +# +# tools for editing go here + PATH_add $BIZ_ROOT/Biz/Ide +# +# until 'repl' supports guile, this is needed + export GUILE_LOAD_PATH=$BIZ_ROOT +# +# Biz/Dragons.hs: + export GITHUB_CLIENT_ID=aa575dc96263bc99556d + export GITHUB_CLIENT_STATE=$(cat /proc/sys/kernel/random/uuid) + export STRIPE_PUBKEY=pk_test_51I3jv1IC3f10BNLClrBmNr485mWSzQkITvjO0MmSeFn4chFqmODJaHcI7IiN1sqSJYusmRhuPzeGTbCrl8dMsSQP00JXUmlVFC +# +# run lorri if its available + if type lorri &>/dev/null + then + eval "$(lorri direnv)" + fi +# +# configure git hooks + git config --local core.hooksPath "$BIZ_ROOT/Biz/Ide/hooks" +# +# load local settings + . ./.envrc.local +## + tips |