GNU bug report logs - #76514
[PATCH] gitignore: Ignore generated info files.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 76514 in the body.
You can then email your comments to 76514 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Tomas Volf <~@wolfsden.cz>
To: guix-patches <at> gnu.org
Cc: Tomas Volf <~@wolfsden.cz>
Subject: [PATCH] gitignore: Ignore generated info files.
Date: Sun, 23 Feb 2025 21:53:31 +0100

We now have doc/guix.de.info-10, so additional ignore pattern is required.

* .gitignore: Ignore /doc/guix*.info-[0-9][0-9].  Add newline at the end of
file.

Change-Id: I42f8eb6fc24e4fdc1121e7b0927bda5fb3e2e151
---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 0f74b5da3d..cdb3869de0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@
 /doc/guix*.html
 /doc/guix*.info
 /doc/guix*.info-[0-9]
+/doc/guix*.info-[0-9][0-9]
 /doc/guix*.ky
 /doc/guix*.pg
 /doc/guix*.toc
@@ -158,4 +159,4 @@ tmp
 /gnu/packages/aux-files/guile-guile-launcher.o
 /guile
 .DS_Store
-.mumi/current-issue
\ No newline at end of file
+.mumi/current-issue
-- 
2.48.1

Message #8 received at 76514 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Tomas Volf <~@wolfsden.cz>
Cc: 76514 <at> debbugs.gnu.org
Subject: Re: [bug#76514] [PATCH] gitignore: Ignore generated info files.
Date: Mon, 24 Feb 2025 14:12:37 -0500

On Sun, Feb 23, 2025 at 09:53:31PM +0100, Tomas Volf wrote:
> We now have doc/guix.de.info-10, so additional ignore pattern is required.

I don't see this file in my source tree. How do I generate it?

Message #11 received at 76514 <at> debbugs.gnu.org (full text, mbox):

From: Tomas Volf <~@wolfsden.cz>
To: Leo Famulari <leo <at> famulari.name>
Cc: 76514 <at> debbugs.gnu.org
Subject: Re: [bug#76514] [PATCH] gitignore: Ignore generated info files.
Date: Mon, 24 Feb 2025 20:28:11 +0100

[Message part 1 (text/plain, inline)]

Leo Famulari <leo <at> famulari.name> writes:

> On Sun, Feb 23, 2025 at 09:53:31PM +0100, Tomas Volf wrote:
>> We now have doc/guix.de.info-10, so additional ignore pattern is required.
>
> I don't see this file in my source tree. How do I generate it?

I have built Guix from 23b068c036223e70bdea9d7d579850a1cffc02a7 and see
the following:

--8<---------------cut here---------------start------------->8---
$ g s
On branch patch-1
Your branch is up to date with 'orig-master'.

Untracked files:
  (use "git add <file>..." to include in what will be committed)
	doc/guix.de.info-10

nothing added to commit but untracked files present (use "git add" to track)
--8<---------------cut here---------------end--------------->8---

It is well possible I did something wrong, which commit did you use for
checking if the file exists?

Tomas

-- 
There are only two hard things in Computer Science:
cache invalidation, naming things and off-by-one errors.

[signature.asc (application/pgp-signature, inline)]

Message #14 received at 76514 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Tomas Volf <~@wolfsden.cz>
Cc: 76514 <at> debbugs.gnu.org
Subject: Re: [bug#76514] [PATCH] gitignore: Ignore generated info files.
Date: Mon, 24 Feb 2025 22:21:32 -0500

On Mon, Feb 24, 2025 at 08:28:11PM +0100, Tomas Volf wrote:
> I have built Guix from 23b068c036223e70bdea9d7d579850a1cffc02a7 and see
> the following:
> 
> --8<---------------cut here---------------start------------->8---
> $ g s
> On branch patch-1
> Your branch is up to date with 'orig-master'.
> 
> Untracked files:
>   (use "git add <file>..." to include in what will be committed)
> 	doc/guix.de.info-10

Thanks, I could reproduce it in a fresh Git worktree, although not with
`make clean` and `./bootstrap && ./configure && make`. I don't know
what's up with that.

I rewrote the explanation to give more details, and pushed as
c1cab99ff8fb6f67e815ab9a6bd25768ac2c77cf

Message #19 received at 76514-done <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: 76514-done <at> debbugs.gnu.org
Date: Mon, 24 Feb 2025 22:21:45 -0500

done

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.