From 28065bbf7603b985934235d2be519bdc519b1b2f Mon Sep 17 00:00:00 2001 From: RealStickman Date: Sat, 14 Nov 2020 13:49:57 +0100 Subject: [PATCH] Add note for adding windows to grub --- arch-config/Dokumente/other-linux/arch-install.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/arch-config/Dokumente/other-linux/arch-install.md b/arch-config/Dokumente/other-linux/arch-install.md index 43f6e6b2..ad60c07c 100644 --- a/arch-config/Dokumente/other-linux/arch-install.md +++ b/arch-config/Dokumente/other-linux/arch-install.md @@ -211,3 +211,13 @@ cd paru makepkg -si ``` +## Windows in GRUB +It can happen that windows does not show up in the GRUB menu. +Use the following commands to update grub. +```bash +sudo os-prober +``` + +```bash +sudo grub-mkconfig -o /boot/grub/grub.cfg +```