diff options
| author | Erich Eckner <git@eckner.net> | 2020-02-10 06:57:45 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-10 06:57:45 +0100 |
| commit | 34f4402c7d405017d48bd9858ef23a75d99f4254 (patch) | |
| tree | fff9f1a94592d90f5589c4aa2123d11d954eebd2 | |
| parent | 3ea9e9f4144a5c374df3f72bab839368eccaf99b (diff) | |
| download | update-all-34f4402c7d405017d48bd9858ef23a75d99f4254.tar.xz | |
update-me: reboot if `remount ro` unsuccessful
| -rw-r--r-- | update-me.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-me.in b/update-me.in index 2346122..1df456d 100644 --- a/update-me.in +++ b/update-me.in @@ -13,7 +13,7 @@ for mp in '/' '/boot'; do | grep -qwF 'ro' || continue [ "${mp}" = '/boot' ] && [ -d '#ETCDIR#/ports' ] && continue preCmds+=('mount -o remount,rw '"${mp}") - postCmds+=('mount -o remount,ro '"${mp}") + postCmds+=('mount -o remount,ro '"${mp}"' || reboot') done if command -v check-kernel >/dev/null; then |