From a6b22d550cea037f95a5863718268de2f9a42bc6 Mon Sep 17 00:00:00 2001 From: jolheiser Date: Sat, 22 Jul 2023 16:00:53 -0500 Subject: [PATCH] chore: update dev shell Signed-off-by: jolheiser --- apps/nushell/jolheiser.nu | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/apps/nushell/jolheiser.nu b/apps/nushell/jolheiser.nu index 043b9eb..5efd9ac 100644 --- a/apps/nushell/jolheiser.nu +++ b/apps/nushell/jolheiser.nu @@ -13,8 +13,16 @@ def sshdev [port: int = 8080] { ^ssh -i ~/.ssh/dev -N -T -R $"1337:localhost:($port)" dev@jolheiser.com } -def dev [name: string] { - ^nix develop $"git+https://git.jojodev.com/jolheiser/dev-shells\#($name)" -c nu +def nixdev [ + 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 ##