feat(profiles): replace old [0-9]* glob by @{int}

Beware some [0-9]* glob are actually not proper @{int}.

apparmor.d/groups/grub/grub-mkrelpath

@@ -23,8 +23,8 @@ profile grub-mkrelpath @{exec_path} {
 
   /boot/grub/themes/{,**} r,
 
-  /tmp/grub-btrfs.*/@snapshots/[0-9]*/snapshot/boot/ r,
-  /tmp/grub-btrfs.*/@/.snapshots/[0-9]*/snapshot/boot/ r,
+  /tmp/grub-btrfs.*/@snapshots/@{int}/snapshot/boot/ r,
+  /tmp/grub-btrfs.*/@/.snapshots/@{int}/snapshot/boot/ r,
   /tmp/grub-btrfs.*/@_backup_[0-9]*/boot/ r,
   /tmp/grub-btrfs.*/ r,
 

apparmor.d/groups/grub/grub-probe

@@ -34,7 +34,7 @@ profile grub-probe @{exec_path} {
   /dev/*vg*/ r,
   /dev/bsg/ r,
   /dev/cpu/ r,
-  /dev/cpu/[0-9]*/ r,
+  /dev/cpu/@{int}/ r,
   /dev/dri/ r,
   /dev/dri/by-path/ r,
   /dev/hugepages/ r,

apparmor.d/groups/grub/update-grub

@@ -15,7 +15,7 @@ profile update-grub @{exec_path} {
   @{bin}/{,ba,da}sh rix,
   @{bin}/grub-mkconfig rPx,
 
-  /dev/tty[0-9]* rw,
+  /dev/tty@{int} rw,
 
   include if exists <local/update-grub>
 }