|
|
e26d1052b6
|
select-shell: Fix breakage with previous shell.nix change
checks / check-links (pull_request) Successful in 13s
checks / checks-impure (pull_request) Successful in 1m51s
checks / checks (pull_request) Successful in 4m11s
|
2024-03-25 00:32:03 +01:00 |
|
|
|
d1e8b1ed96
|
devShells: one global python devshell + activation via command
checks / check-links (pull_request) Successful in 21s
checks / checks-impure (pull_request) Successful in 1m55s
checks / checks (pull_request) Successful in 2m45s
- this adds devShells.{system}.python
- a 'select-shell' command to switch between devshells
|
2024-03-01 18:16:38 +07:00 |
|
|
|
7f21e99736
|
update nix-direnv
checks-impure / test (pull_request) Successful in 1m5s
checks / test (pull_request) Successful in 2m18s
|
2024-01-04 16:24:26 +01:00 |
|
|
|
7d3801a916
|
nix-direnv: update to 2.5.1
checks-impure / test (pull_request) Successful in 1m23s
checks / test (pull_request) Successful in 1m55s
|
2023-11-30 11:29:49 +01:00 |
|
|
|
948ed521f9
|
nix-direnv: update to 2.4.0
checks-impure / test (pull_request) Successful in 1m10s
checks / test (pull_request) Successful in 1m45s
|
2023-11-23 15:30:44 +01:00 |
|
|
|
62ad4bcd67
|
make .envrc fast for everyone
checks-impure / test (pull_request) Successful in 14s
checks / test (pull_request) Successful in 31s
|
2023-09-21 18:29:34 +02:00 |
|
|
|
60ba233e77
|
devShells.default: init
|
2023-07-28 15:10:24 +02:00 |
|
