From 855897e1bb77e3222b2c0da3d2deac698ed8978b Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Thu, 19 Aug 2021 01:08:38 +0200 Subject: [PATCH] textbrftoindex: Fix control character filtering (#409) '-' does not work with $'\000' actually, so we have to filter it out separately. --- filter/braille/drivers/index/textbrftoindexv3.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/filter/braille/drivers/index/textbrftoindexv3.in b/filter/braille/drivers/index/textbrftoindexv3.in index 2e9e431cb..56dd50171 100755 --- a/filter/braille/drivers/index/textbrftoindexv3.in +++ b/filter/braille/drivers/index/textbrftoindexv3.in @@ -1,7 +1,7 @@ #!/bin/bash # -# Copyright (c) 2015-2018 Samuel Thibault +# Copyright (c) 2015-2018, 2021 Samuel Thibault # # Permission is hereby granted, free of charge, to any person obtaining a copy # of this software and associated documentation files (the "Software"), to deal @@ -79,7 +79,7 @@ then # Make sure there is nothing else we don't process if [ -n "$LINE" ] then - if [ -z "${LINE/*[$'\000'-$'\037'$'\177']*}" ] + if [ -z "${LINE/*[$'\000'$'\001'-$'\037'$'\177']*}" ] then echo "ERROR: unsupported control character in BRF file" >&2 fi -- 2.47.3