diff options
| author | Riku Voipio <riku.voipio@linaro.org> | 2017-12-21 16:11:17 +0200 |
|---|---|---|
| committer | Riku Voipio <riku.voipio@linaro.org> | 2017-12-21 16:11:17 +0200 |
| commit | 2ee708a23686357cac8fc994c67533d720e5948e (patch) | |
| tree | 0b67fcdc960eda2faeec0d43fda596772ce036cc /scripts | |
| parent | 38f33d739bf5496a0c7df4da12441e44b2223b36 (diff) | |
GRUB: support by UUID in containers
The fickely update-grub scripts won't use UUID if the dev node is not
available, and the /dev/disk links don't get updated inside containers.
Change-Id: Ia7ccb23f12ff772136185b35f3d1a6d96a24f9fb
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/GRUB_PC/10-setup | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/GRUB_PC/10-setup b/scripts/GRUB_PC/10-setup index b891276..63ecf0e 100755 --- a/scripts/GRUB_PC/10-setup +++ b/scripts/GRUB_PC/10-setup @@ -59,6 +59,15 @@ else echo "Grub installed on $BOOT_DEVICE = $GROOT" fi fi + +# In case run in docker, dev/disk/by-uuid/ is out of date since udev runs outside docker + +mkdir -p $target/dev/disk/by-uuid/ +for dev in `blkid -o device | grep -v block` +do + ln -sf "$dev" "$target/dev/disk/by-uuid/$(blkid -o value -s UUID "$dev")" +done + $ROOTCMD update-grub exit $error |