Fini Jastrow 7bc729e27a gotta-patch-em-all: Allow to specify directory filter ... [why] We can limit the font files to patch with the gotta-patch-em-all script to some specific file names; the case insensitive beginning of the basename of the font file, to be specific. Sometimes we do not know how the actual font files are named, we just know the directory name. [how] The old filter checked for the beginning of a file name, so we keep this behavior and allow to check for the beginning of a directory name. As differentiator the first character of the passed filter is used. As a slash is not allowed in the file name filters: If the first char is a slash, we search for font files in a directory that begins with that name. The file name is not considered in this case. Examples: gotta-patch-em-all-font-patcher!.sh Fira Patches all font files that begin (case insensitive) with 'fira'. It must be the basename of the font file, the path to the file is not considered. (Old behavior.) Translated to a glob this is roughly **/Fira*.[ot]tf gotta-patch-em-all-font-patcher!.sh /Fira Patches all font files that are in directories that begin (case insensitive) with 'fira'. It can not be the beginning of the font file basename. Translated to a glob this is roughly **/Fira*/**/*.[ot]tf Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2022-08-18 11:14:12 +02:00
..
scripts	gotta-patch-em-all: Allow to specify directory filter	2022-08-18 11:14:12 +02:00