diff options
Diffstat (limited to 'org/config_env.org')
| -rw-r--r-- | org/config_env.org | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/org/config_env.org b/org/config_env.org index 171316f..2f8a111 100644 --- a/org/config_env.org +++ b/org/config_env.org @@ -83,6 +83,27 @@ direnv fetchurl https://raw.githubusercontent.com/nix-community/nix-direnv/${Nix - bespoke modify appropriately and generate if needed +#+HEADER: :tangle ../.envrc-local +#+HEADER: :noweb yes +#+BEGIN_SRC sh +if [[ ! -d ./.git ]]; then + git init + git add . +fi +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 + #+HEADER: :tangle ../.envrc-local_ #+HEADER: :noweb yes #+BEGIN_SRC sh |