diff options
Diffstat (limited to 'hooks')
| -rwxr-xr-x | hooks/pre-push | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hooks/pre-push b/hooks/pre-push index 69bbd18..a3f67f4 100755 --- a/hooks/pre-push +++ b/hooks/pre-push @@ -40,8 +40,9 @@ scp test_logs/* "${USER_HOST}:${TEST}/" ./run_demo for cast in ci demo_pasta demo_podman demo_passt; do - gzip -9 "${cast}.cast" - scp "${cast}.cast"{,.gz} "${USER_HOST}:${WEB}/" + gzip -fk9 "${cast}.cast" + scp "${cast}.cast" "${USER_HOST}:${WEB}/" + scp "${cast}.cast.gz" "${USER_HOST}:${WEB}/" done cd .. |