[PATCH] gitignore: Ignore generated info files.

  • Done
  • quality assurance status badge
Details
2 participants
  • Leo Famulari
  • Tomas Volf
Owner
unassigned
Submitted by
Tomas Volf
Severity
normal

Debbugs page

Tomas Volf wrote 2 weeks ago
(address . guix-patches@gnu.org)(name . Tomas Volf)(address . ~@wolfsden.cz)
aadcd617870196349a0d3766c760a2b91e035683.1740344011.git.~@wolfsden.cz
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(-)

Toggle diff (21 lines)
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
Leo Famulari wrote 2 weeks ago
(name . Tomas Volf)(address . ~@wolfsden.cz)(address . 76514@debbugs.gnu.org)
Z7zEpSmnx9PcLQAB@jasmine.lan
On Sun, Feb 23, 2025 at 09:53:31PM +0100, Tomas Volf wrote:
Toggle quote (2 lines)
> 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?
Tomas Volf wrote 2 weeks ago
(name . Leo Famulari)(address . leo@famulari.name)(address . 76514@debbugs.gnu.org)
87frk316t0.fsf@wolfsden.cz
Leo Famulari <leo@famulari.name> writes:

Toggle quote (5 lines)
> 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:

Toggle snippet (11 lines)
$ 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)

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.
-----BEGIN PGP SIGNATURE-----

iQJCBAEBCgAsFiEEt4NJs4wUfTYpiGikL7/ufbZ/wakFAme8yEsOHH5Ad29sZnNk
ZW4uY3oACgkQL7/ufbZ/wansYBAAh99aI6Wz6Npimtw2baM2XhrxdyQKdnh6bH8K
7TtR5KTlTswBCFXJCbO5zt0j6lX6hglZuhC9xljUqSI3xvT6Z9D87X9tgYbJ3Vgq
UZ9fkX6+im7sHINHaLY6GAVq1uz0ifvQxkSxb2NBsJI6nEX+iq95/0HosQ7lsdba
z0yEYTAnY2zM0cRSgabf5lVXw7goIiw3PHAcwAATsPkaFWB3Qej7zZ/+ww3+hhCH
shwXJ4bYnfvrbq3fYfc+9d3NAh8w00Qu01DUDEgeoiCha3kFjvrhP2EhfcIt3WOB
okle7wm0jzX1lHJxOpPJBCrPtCjooDk2DcqSg2c9js1hLKu1Y68VeVAUOl83wchp
8kQE+jPMQMtLWPvR3pM9N97ZhGya74V8GiQTZT5aTGZ3l+GkneJ8PDX0lO5i6Q/x
60LB+JfchuYTd/w8IeXuURq6CteRwLs/O+rBlnKH4zexDB1zJZEjf37XGFQKpPci
7nKohvAoQiwVknqvFw0eRqUN5bVhQr2o5Jm9i1w53gHf0TFNSLTVosOQep3pp863
Grxw/LFQn+rXzwSjHIU7tC+7jkUgCpnNqe7guNKeJCCNCT+HHuwqUqXdjdO9zcMM
n8emBZkOgPmLHYd7ZnhNrGANNPW0azz/5S1sEydhepJLXJZDAljv64+STNB2q1ch
yYdVGyA=
=jliz
-----END PGP SIGNATURE-----

Leo Famulari wrote 2 weeks ago
(name . Tomas Volf)(address . ~@wolfsden.cz)(address . 76514@debbugs.gnu.org)
Z703PDbYV21-XM6d@jasmine.lan
On Mon, Feb 24, 2025 at 08:28:11PM +0100, Tomas Volf wrote:
Toggle quote (12 lines)
> 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
Leo Famulari wrote 2 weeks ago
(no subject)
(address . 76514-done@debbugs.gnu.org)
Z703Se7rCmF76fpC@jasmine.lan
done
Closed
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send an email to 76514@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 76514
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help