diff options
Diffstat (limited to 'org/config_env.org')
| -rw-r--r-- | org/config_env.org | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/org/config_env.org b/org/config_env.org index b9f7264..9ded9ef 100644 --- a/org/config_env.org +++ b/org/config_env.org @@ -86,6 +86,10 @@ direnv fetchurl https://raw.githubusercontent.com/nix-community/nix-direnv/${Nix #+HEADER: :tangle ../.envrc-local_ #+HEADER: :noweb yes #+BEGIN_SRC sh +if [[ ! -d ./.git ]]; then + git init + git add . +fi export DFLAGS="-O2 -inline -boundscheck=on -color=on" export SpineBIN=result/bin export SpinePROJ=~/grotto/repo/git.repo/projects/doc-reform/code/software/spine @@ -99,6 +103,18 @@ export SpineSQLdb='spine.search.db' export SpineCGIbin=/var/www/cgi/cgi-bin export SpineDBpath=/var/www/sqlite #export SpineDBpath=/srv/www/spine/sqlite +echo ' + .envrc-local echo ❯❯ + + ❯❯ nix flake update && nix flake check --show-trace && nix flake show && nix develop ".#devShell" -c zsh + + ❯❯ nix develop + ❯❯ nix develop -c zsh + ❯❯ nix develop ".#dsh-overlay-ldc" --print-build-logs + + ❯❯ nix build + ❯❯ nix build ".#default" --print-build-logs +' #+END_SRC #+BEGIN_SRC sh |