feat: dev shells

Signed-off-by: jolheiser <john.olheiser@gmail.com>
jenkins
jolheiser 2023-07-22 11:47:20 -05:00
parent c037fc986a
commit 14d2d9dd13
Signed by: jolheiser
GPG Key ID: B853ADA5DA7BBF7A
1 changed files with 4 additions and 0 deletions

View File

@ -13,6 +13,10 @@ 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
}
## Other ##
let-env EDITOR = hx
let-env config = ($env.config | upsert "shell_integration" ("WEZTERM_PANE" not-in $env and "SSH_CLIENT" not-in $env))