fix deployment script

This commit is contained in:
Jörg Thalheim 2022-04-10 23:19:45 +02:00
parent 8e4e113c95
commit 326be3de5c
No known key found for this signature in database

6
deploy
View file

@ -1,5 +1,3 @@
#!/usr/bin/env nix-shell
#! nix-shell ./shell.nix -i bash
set -euo pipefail
#!/usr/bin/env bash
inv deploy "$@"
nix develop -c inv deploy