diff --git a/default.nix b/default.nix.old similarity index 100% rename from default.nix rename to default.nix.old diff --git a/scripts/build_and_push_image.sh b/scripts/build_and_push_image.sh index ccaea4c..6abb0ad 100755 --- a/scripts/build_and_push_image.sh +++ b/scripts/build_and_push_image.sh @@ -1,5 +1,5 @@ #! /usr/bin/env nix-shell -#! nix-shell ../shell.nix -i bash +#! nix develop set -eu diff --git a/shell.nix b/shell.nix.old similarity index 100% rename from shell.nix rename to shell.nix.old