[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60562: [PATCH] Fix split-string error if there is a space in the fil
From: |
Andy Moreton |
Subject: |
bug#60562: [PATCH] Fix split-string error if there is a space in the filename. |
Date: |
Sun, 15 Jan 2023 12:33:49 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2.50 (windows-nt) |
On Sat 07 Jan 2023, Eli Zaretskii wrote:
>> Cc: 60562@debbugs.gnu.org
>> Date: Sat, 7 Jan 2023 17:42:35 +0800
>> From: lux <lx@shellcodes.org>
>>
>> On Fri, 06 Jan 2023 10:48:43 +0100
>> Robert Pluim <rpluim@gmail.com> wrote:
>>
>> > You can avoid the issue (and improve portability) by using
>> > `directory-files-recursively' instead of `find'
>>
>> But `hfy-find-cmd' is a configurable variable:
>>
>> (defcustom hfy-find-cmd
>> "find . -type f \\! -name \\*~ \\! -name \\*.flc \\! -path
>> \\*/CVS/\\*" "Find command used to harvest a list of files to attempt
>> to fontify." :tag "find-command"
>> :type '(string))
>
> We can convert that to a customizable regexp, and maybe to a predicate
> function if a simple regexp won't do.
>
>> I don't know if using `directory-files-recursively' has other effects.
>
> Why would that bother us? This is used to find the files under a
> given directory, avoiding some files which we know will not be wanted.
The fixes for this problem now cause bootstrap to fail, due to the
defcustom for hfy-exclude-file-rules containing a version tag that is
not a string.
AndyM
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., (continued)
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., lux, 2023/01/07
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., Ruijie Yu, 2023/01/07
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., lux, 2023/01/08
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., Robert Pluim, 2023/01/09
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., lux, 2023/01/09
- bug#60562: [PATCH] Fix split-string error if there is a space in the filename., Eli Zaretskii, 2023/01/14
bug#60562: [PATCH] Fix split-string error if there is a space in the filename., lux, 2023/01/07