remove unnecessary unicode from chroot-script
authorPatrick Schleizer <adrelanos@whonix.org>
Thu, 19 Oct 2023 16:56:56 +0000 (12:56 -0400)
committerGitHub <noreply@github.com>
Thu, 19 Oct 2023 16:56:56 +0000 (12:56 -0400)
https://github.com/grml/grml-debootstrap/issues/219

chroot-script

index 5cff484..48ce326 100755 (executable)
@@ -653,7 +653,7 @@ available_ids() {
   echo "${ids}"
 }
 
-# helper function to report corresponding /dev/disk/by-id/ for a given device name,
+# helper function to report corresponding /dev/disk/by-id/ for a given device name,
 # based on GRUB's postinst script
 device_to_id() {
   local id