diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-24 14:12:19 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-27 10:44:48 +0200 |
| commit | c28673e3d115d2574d9b30cb350f3c4d7b378cf8 (patch) | |
| tree | 0cdfd358c83b47ba73623a8a090da70d3a64f2f9 | |
| parent | 2a9eab23863b62b4fc502f2b537cd116cd7214db (diff) | |
| download | devtools32-20180627.tar.xz | |
makechrootpkg.in: add "pacman-key --populate" before calling "makepkg" to be sure to have a current pacman keyringv20180627
| -rw-r--r-- | makechrootpkg.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/makechrootpkg.in b/makechrootpkg.in index f606df0..adaa758 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -221,6 +221,9 @@ _chrootbuild() { # shellcheck source=/dev/null . /etc/profile + # otherwise we might have missing keys + pacman-key --populate + # Beware, there are some stupid arbitrary rules on how you can # use "$" in arguments to commands with "sudo -i". ${foo} or # ${1} is OK, but $foo or $1 isn't. |