diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-13 07:13:11 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-13 07:13:11 +0200 |
| commit | 51cca62638f3a9abfb2023f9f0593dd9aeea4354 (patch) | |
| tree | b992c4c8e43bda261965ce1681b4bd384db69784 | |
| parent | 9d0d37f0e69aec82877cf013b5117f83c824e653 (diff) | |
| download | build-arch-iso-51cca62638f3a9abfb2023f9f0593dd9aeea4354.tar.xz | |
build-arch-iso: check kernel
| -rwxr-xr-x | build-arch-iso | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build-arch-iso b/build-arch-iso index 3b54bd3..8dd50f5 100755 --- a/build-arch-iso +++ b/build-arch-iso @@ -7,6 +7,13 @@ if [ "$(whoami)" != "root" ]; then exit $? fi +pacman -Syu + +if [ "$(pacman -Q 'linux' | cut -d' ' -f2)-ARCH" != "$(uname -r)" ]; then + >&2 echo 'installed and running kernel versions differ' + exit 1 +fi + destination="$(mktemp -d)" systemctl stop boinc |