public inbox for goredo-devel@lists.stargrave.org
Atom feed
From: goredo <spacefrogg-goredo@spacefrogg•net>
To: goredo-devel@lists.cypherpunks.su
Subject: Unexpected behavior in redoing target with missing .redo info
Date: Fri, 5 Dec 2025 20:26:22 +0100 (GMT+01:00)	[thread overview]
Message-ID: <873a2ec6-cb40-49b1-ba8e-6ee92abb1803@spacefrogg.net> (raw)
In-Reply-To: <c9832cec-fb46-45a5-b102-3fde7d0d9a4c@jnboehm.com>

Yes, that is a bug.

You can observe the correct behaviour when you change `1.do` to `default.do`, which is:
- after deleting `.redo/` `redo 1` prints nothing anymore, because it treats the file as a source file. You can verify by setting REDO_DEBUG=1.

Best regards,
–Michael

  reply	other threads:[~2025-12-05 19:53 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-12-05 18:30 Unexpected behavior in redoing target with missing .redo info Niklas Böhm
2025-12-05 19:26 ` goredo [this message]
2025-12-12 15:38 ` Sergey Matveev
2025-12-16 13:45   ` Sergey Matveev