ci: remove ssh host keys only once

This commit is contained in:
openoms 2023-01-19 07:12:59 +00:00
parent a97365aeda
commit 69fe9bd32d
No known key found for this signature in database
GPG key ID: 5BFB77609B081B65
3 changed files with 5 additions and 12 deletions

View file

@ -7,7 +7,7 @@ on:
- '*.md'
- '.gitignore'
- 'images'
- 'ci/arm64-rpi'
- 'ci/arm64-rpi/**'
- 'scripts/jam-remote'
pull_request:
branches: [ "master" ]
@ -15,7 +15,7 @@ on:
- '*.md'
- '.gitignore'
- 'images'
- 'ci/arm64-rpi'
- 'ci/arm64-rpi/**'
- 'scripts/jam-remote'
workflow_dispatch:

View file

@ -7,7 +7,7 @@ on:
- '*.md'
- '.gitignore'
- 'images'
- 'ci/amd64'
- 'ci/amd64/**'
- 'scripts/jam-remote'
- 'Makefile'
pull_request:
@ -16,7 +16,7 @@ on:
- '*.md'
- '.gitignore'
- 'images'
- 'ci/amd64'
- 'ci/amd64/**'
- 'scripts/jam-remote'
- 'Makefile'
workflow_dispatch:

View file

@ -49,18 +49,11 @@ build {
}
provisioner "shell" {
environment_vars = [
environment_vars = [
"github_user=${var.github_user}",
"branch=${var.branch}"
]
script = "./joininbox.sh"
}
provisioner "shell" {
inline = [
"echo '# Deleting the SSH pub keys (will be recreate on the first boot) ...'",
"rm /etc/ssh/ssh_host_*",
"echo 'OK'",
]
}
}