diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-08 10:20:40 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-08 10:21:13 +0100 |
| commit | 9c1fcafa9d5b069c54311bcb5705ae3c2bee90b7 (patch) | |
| tree | 1fa35981f0bdf73066686fa2a949c6e48667e269 | |
| parent | a53929f38b39cb1cd7a694e7da116a2a29999c7a (diff) | |
| download | update-all-9c1fcafa9d5b069c54311bcb5705ae3c2bee90b7.tar.xz | |
update-me.in: run check-kernel after update (if available)
| -rw-r--r-- | update-me.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/update-me.in b/update-me.in index 8a6b09a..bb979d4 100644 --- a/update-me.in +++ b/update-me.in @@ -4,6 +4,10 @@ preCmds=('hostname') cmds=() postCmds=('sync') +if which check-kernel >/dev/null 2>&1; then + postCmds+=('check-kernel -r') +fi + . #ETCDIR#/update-me.conf if [ ! "$(whoami)" == "root" ] |