feat: refresh flake

Signed-off-by: jolheiser <john.olheiser@gmail.com>
jenkins
jolheiser 2023-07-22 16:56:55 -05:00
parent a6b22d550c
commit 7fa0fb1617
Signed by: jolheiser
GPG Key ID: B853ADA5DA7BBF7A
1 changed files with 7 additions and 7 deletions

View File

@ -14,15 +14,15 @@ def sshdev [port: int = 8080] {
} }
def nixdev [ def nixdev [
name: string # Name of the dev shell to use name: string # Name of the dev shell to use
--bash: bool # Use bash instead of nushell --bash: bool # Use bash instead of nushell
--refresh: bool # Refresh the flake
] { ] {
let url = $"git+https://git.jojodev.com/jolheiser/dev-shells\#($name)" let url = $"git+https://git.jojodev.com/jolheiser/dev-shells\#($name)"
if ($bash) { let c = if ($bash) {""} else {"-c nu"}
^nix develop $url let refresh = if ($refresh) {"--refresh"} else {""}
} else { let cmd = $"nix develop ($refresh) ($url) ($c)"
^nix develop $url -c nu ^nu -c $cmd
}
} }
## Other ## ## Other ##