2023-12-24 06:02:24 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2024-05-30 07:49:56 +00:00
|
|
|
dotenv_if_exists
|
|
|
|
|
2024-05-30 08:15:19 +00:00
|
|
|
system="$(nix eval --impure --raw --expr 'builtins.currentSystem')"
|
|
|
|
devshell="${DIRENV_DEVSHELL:-default}"
|
|
|
|
|
|
|
|
if command -v nom &> /dev/null && [ -t 0 ]; then
|
|
|
|
# if nom is available, build the devshell dependencies with it to get nicer
|
|
|
|
# progress monitoring. Don't do this when stdout is piped, because it shows
|
|
|
|
# up weird in engage.
|
|
|
|
nom build ".#devShells.$system.$devshell"
|
|
|
|
fi
|
|
|
|
|
|
|
|
use flake ".#$devshell"
|
2024-01-25 19:34:46 +00:00
|
|
|
|
|
|
|
PATH_add bin
|