bring back exec

This commit is contained in:
Motiejus Jakštys 2023-07-30 08:59:58 +03:00
parent d536eb5656
commit c99adbbaa1

View File

@ -61,13 +61,13 @@
export PATH=$OLD_PATH
export PATH=$PATH:${pkgs.git}/bin:${pkgs.openssh}/bin:${pkgs.nix}/bin
exec ${pkgs.nix}/bin/nix run .#deploy-rs -- \
${pkgs.nix}/bin/nix run .#deploy-rs -- \
--ssh-opts="-i ''${CREDENTIALS_DIRECTORY}/ssh-key" \
--ssh-user=deployerbot-follower \
--targets ${deployDerivationsStr}
export PATH=$OLD_PATH
${pkgs.git}/bin/git push origin main
exec ${pkgs.git}/bin/git push origin main
'';
};