debian/shuffle-boot-files: fix typo
authorHans van Kranenburg <hans@knorrie.org>
Sat, 4 Feb 2023 16:57:23 +0000 (17:57 +0100)
committerHans van Kranenburg <hans@knorrie.org>
Fri, 24 Feb 2023 17:10:21 +0000 (18:10 +0100)
The tree picture changed, but I didn't correct the names in the text.
:-)

Signed-off-by: Hans van Kranenburg <hans@knorrie.org>
debian/shuffle-boot-files

index 8e4f1687f6fc4beb23f46ff1019107ca76c586a5..a4ddf15018e36445c9cdf3e8cde00e69947e8ce8 100755 (executable)
@@ -71,8 +71,8 @@ done
 # prevent filenames from changing during a stable security update.
 #
 # For consistency with the file names in boot/, we also add the flavour
-# name here. So, for example xen-4.17.0.efi.map.gz is renamed to
-# xen-4.17-amd64.efi.map.gz
+# name here. So, for example xen-4.17.0.efi.map is renamed to
+# xen-4.17-amd64.efi.map
 find "$t/usr/lib/debug" -maxdepth 1 -name 'xen*' -type f -print | while read f; do
        head="${f%$verstring*}"
        tail="${f#*$verstring}"