[bug#33333] .gitignore: Add more generated files.

Message ID e67b8a66-00da-6ba3-ec64-1bfa4aaa4a84@riseup.net
State Accepted
Headers show
Series [bug#33333] .gitignore: Add more generated files. | expand

Checks

Context Check Description
cbaines/applying patch success Successfully applied
cbaines/applying patch success Successfully applied

Commit Message

swedebugia Nov. 10, 2018, 2:59 p.m. UTC

Comments

Ludovic Courtès Nov. 16, 2018, 9:49 p.m. UTC | #1
Hi,

swedebugia <swedebugia@riseup.net> skribis:

> --- a/.gitignore
> +++ b/.gitignore
> @@ -28,6 +28,8 @@
>  /configure
>  /doc/*.1
>  /doc/.dirstamp
> +/doc/contributing.de.texi
> +/doc/contributing.fr.texi

These files are checked in so we can’t really ignore them.  They are
sometimes automatically updated, leading to diffs that can be safely
ignored, though.

Julien, any idea how we can avoid the occasional annoyance that this
causes?

Thanks,
Ludo’.
Maxim Cournoyer Oct. 9, 2020, 2:51 a.m. UTC | #2
ludo@gnu.org (Ludovic Courtès) writes:

> Hi,
>
> swedebugia <swedebugia@riseup.net> skribis:
>
>> --- a/.gitignore
>> +++ b/.gitignore
>> @@ -28,6 +28,8 @@
>>  /configure
>>  /doc/*.1
>>  /doc/.dirstamp
>> +/doc/contributing.de.texi
>> +/doc/contributing.fr.texi
>
> These files are checked in so we can’t really ignore them.  They are
> sometimes automatically updated, leading to diffs that can be safely
> ignored, though.
>
> Julien, any idea how we can avoid the occasional annoyance that this
> causes?
>
> Thanks,
> Ludo’.

Ping! Is this still an problem?  It seems I haven't had this issue in a
while.

Maxim
Maxim Cournoyer July 13, 2021, 12:13 p.m. UTC | #3
Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:

> ludo@gnu.org (Ludovic Courtès) writes:
>
>> Hi,
>>
>> swedebugia <swedebugia@riseup.net> skribis:
>>
>>> --- a/.gitignore
>>> +++ b/.gitignore
>>> @@ -28,6 +28,8 @@
>>>  /configure
>>>  /doc/*.1
>>>  /doc/.dirstamp
>>> +/doc/contributing.de.texi
>>> +/doc/contributing.fr.texi
>>
>> These files are checked in so we can’t really ignore them.  They are
>> sometimes automatically updated, leading to diffs that can be safely
>> ignored, though.
>>
>> Julien, any idea how we can avoid the occasional annoyance that this
>> causes?
>>
>> Thanks,
>> Ludo’.
>
> Ping! Is this still an problem?  It seems I haven't had this issue in a
> while.
>
> Maxim

This annoyance was fixed as part as v1.3.0.

Closing.

Maxim

Patch

From 121b2ab9a85580fa155e375ff87cd3be589e0bdb Mon Sep 17 00:00:00 2001
From: swedebugia <swedebugia@riseup.net>
Date: Sat, 10 Nov 2018 15:22:29 +0100
Subject: [PATCH] .gitignore: Add more generated files.

---
 .gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 35d50b35a..d77bafb42 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,6 +28,8 @@ 
 /configure
 /doc/*.1
 /doc/.dirstamp
+/doc/contributing.de.texi
+/doc/contributing.fr.texi
 /doc/guix.*.aux
 /doc/guix.*.cp
 /doc/guix.*.cps
@@ -43,11 +45,12 @@ 
 /doc/guix.*.tp
 /doc/guix.*.vr
 /doc/guix.*.vrs
-/doc/guix.aux
 /doc/guix.cp
 /doc/guix.cps
+/doc/guix.de.texi
 /doc/guix.fn
 /doc/guix.fns
+/doc/guix.fr.texi
 /doc/guix.html
 /doc/guix.info
 /doc/guix.info-[0-9]
-- 
2.18.0