Skip FS from Grub menu

[Thomas]

Hi,
I'm using dual-boot.
Originally on my disc was an installation of Windows 7.
In the meantime I have upgraded to Windows 10 and installed Linux.

This is the current partition layout:

|Gerät Boot Anfang Ende Sektoren Größe Kn Typ /dev/sda1 * 2048 2459647
2457600 1,2G 7 HPFS/NTFS/exFAT /dev/sda2 2459648 181531830 179072183
85,4G 7 HPFS/NTFS/exFAT /dev/sda3 253208576 500117503 246908928 117,8G 5
Erweiterte /dev/sda5 253214720 253460479 245760 120M 83 Linux /dev/sda6
253462528 491726847 238264320 113,6G 83 Linux /dev/sda7 491728896
500117503 8388608 4G 82 Linux Swap / Solaris|


When I write a new //boot/grub/grub.cfg/ with command grub-mkconfig -o
/boot/grub/grub.cfg I get these menu entries:
Windows 7
Windows 10
Arch Linux
Arch Linux Advanced

For booting Windows 10 I select entry "Windows 10". This means entry
"Windows 7" is obsolete.

To solve this issue I added this parameter in //etc/default/grub/:
# List of space-separated FS UUIDs of filesystems to be ignored from
os-prober output.
GRUB_OS_PROBER_SKIP_LIST="A08C8A868C8A56A6"

I fetched the parameter value from this output:
address@hidden ~]$ sudo blkid
/dev/sda1: LABEL="SYSTEM_DRV" UUID="E00486200485FA34" TYPE="ntfs"
PARTUUID="1b5712ca-01"
/dev/sda2: LABEL="Windows10_OS" UUID="A08C8A868C8A56A6" TYPE="ntfs"
PARTUUID="1b5712ca-02"

However this fails; running command grub-mkconfig -o /boot/grub/grub.cfg
in debug mode shows this:
+ echo '### BEGIN /etc/grub.d/30_os-prober ###'
+ /etc/grub.d/30_os-prober
Windows 10 auf /dev/sda1 gefunden
Windows 7 auf /dev/sda2 gefunden
+ echo '### END /etc/grub.d/30_os-prober ###'

In my understanding the relevant section in //etc/grub.d/30_os-prober/
is not touched and therefore the menu entry "Windows 7" is created.

How can I fix this issue?

THX