Re: [PATCH] gitignore: ignore documentation build products

[Sascha Silbe <x-yo17@se-silbe.de>]

[-- Attachment #1: Type: text/plain, Size: 1219 bytes --]

Dear Alexander,

Alexander Kanavin <alexander.kanavin@linux.intel.com> writes:

> On 12/15/2017 12:52 PM, Sascha Silbe wrote:
>
>> +/documentation/bsp-guide/bsp-guide.html
>> +/documentation/bsp-guide/bsp-guide.pdf
>> +/documentation/bsp-guide/bsp-guide.tgz
>> +/documentation/dev-manual/dev-manual.html
>> +/documentation/dev-manual/dev-manual.pdf
>> +/documentation/dev-manual/dev-manual.tgz
>
> You can condense these into much fewer amount of entries using *, I think?

I've thought about that but e.g. /documentation/*/*.html would risk
excluding future manually edited files as well, not just the build
output. If source and build directory were different that would be much
less of a concern but the documentation doesn't use a separate build
directory. And unfortunately git only supports fnmatch() style patterns
in .gitignore, not bash-style brace expansion or regular expressions.

But if you're certain there won't be manually edited HTML or PDF files
in the future and would prefer a more compact solution I'm happy to
switch to using wildcards.

Sascha
-- 
Softwareentwicklung Sascha Silbe, Niederhofenstraße 5/1, 71229 Leonberg
https://se-silbe.de/
USt-IdNr.: DE281696641

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 836 bytes --]