From b62ba5afd3db7c5795a58ffaecc86cfdef8fcb15 Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Mon, 8 Aug 2022 18:16:31 +0200
Subject: [PATCH] Note to run `partprobe` after `gdisk`

---
 notes.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/notes.md b/notes.md
index 5d36d4d..6a3ee17 100644
--- a/notes.md
+++ b/notes.md
@@ -12,6 +12,8 @@ Maybe use [boot loader partition](https://systemd.io/BOOT_LOADER_SPECIFICATION/)
     Hex code or GUID (L to show codes, Enter = 8300): bc13c2ff-59e6-4262-a352-b275fd6f7172
     Changed type of partition to 'Freedesktop $BOOT'
 
+Do not forget to run `partprobe` to notify the Linux kernel about the partition table change.
+
 Format partitions:
 
     $ sudo mkfs.fat -F32 -nESP /dev/nvme0n1p1