chore: update dev shell

Signed-off-by: jolheiser <john.olheiser@gmail.com>
teamcity
jolheiser 2023-07-22 16:00:53 -05:00
parent 14d2d9dd13
commit a6b22d550c
Signed by: jolheiser
GPG Key ID: B853ADA5DA7BBF7A
1 changed files with 10 additions and 2 deletions

View File

@ -13,8 +13,16 @@ def sshdev [port: int = 8080] {
^ssh -i ~/.ssh/dev -N -T -R $"1337:localhost:($port)" dev@jolheiser.com ^ssh -i ~/.ssh/dev -N -T -R $"1337:localhost:($port)" dev@jolheiser.com
} }
def dev [name: string] { def nixdev [
^nix develop $"git+https://git.jojodev.com/jolheiser/dev-shells\#($name)" -c nu name: string # Name of the dev shell to use
--bash: bool # Use bash instead of nushell
] {
let url = $"git+https://git.jojodev.com/jolheiser/dev-shells\#($name)"
if ($bash) {
^nix develop $url
} else {
^nix develop $url -c nu
}
} }
## Other ## ## Other ##