diff options
Diffstat (limited to 'org/config_make.org')
-rw-r--r-- | org/config_make.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org/config_make.org b/org/config_make.org index 58f58fb..99940c6 100644 --- a/org/config_make.org +++ b/org/config_make.org @@ -122,8 +122,8 @@ flake-check: nix flake check; \ echo -e 'nix flake show ❯❯\n'; \ nix flake show; \ - echo -e '\n❯❯ nix flake update && nix flake check --show-trace && nix flake show && nix develop ".#devShell" -c zsh\n'; \ - echo -e '❯❯ nix develop\n❯❯ nix develop -c zsh\n'; \ + echo -e '\n❯❯ nix flake update && nix flake check --show-trace && nix flake show && nix develop ".#devShell" -c $SHELL\n'; \ + echo -e '❯❯ nix develop\n❯❯ nix develop -c $SHELL\n'; \ echo -e '❯❯ nix build ".#spine-ldc" --print-build-logs |& nom\n❯❯ nix build ".#spine-dmd" --print-build-logs |& nom\n'; \ echo -e '❯❯ make -s\n❯❯ make -s nix-build-ldc\n❯❯ make -s nix-build-dmd\n'; \ echo -e '❯❯ make -s ldc\n❯❯ make -s dmd\n'; \ |