builder: Change docker image used for building

Also, be more thorough about killing dirmngr.
This commit is contained in:
sfalexrog
2019-01-21 21:01:51 +03:00
parent 8c92c5446e
commit e5220012de
2 changed files with 4 additions and 1 deletions

View File

@@ -140,5 +140,8 @@ EOF
echo_stamp "Attempting to kill dirmngr"
gpgconf --kill dirmngr
# dirmngr is only used by apt-key, so we can safely kill it.
# We ignore killall's exit value as well.
killall -w -9 dirmngr || true
echo_stamp "End of software installation"