Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2017-10-25

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:05 leg joined #darcs
01:56 ilbot3 joined #darcs
01:56 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.12.5 is out http://darcs.net/Releases/2.12
05:55 ThomasLocke joined #darcs
05:55 ThomasLocke joined #darcs
05:55 Heffalump gh_: yes, when one hunk is empty (e.g. you are just adding or removing lines) it's not always clear how to reverse the commute, whether the added/removed lines go after or before the other hunk
14:13 Mysterious_Light joined #darcs
14:14 Mysterious_Light joined #darcs
14:25 Mysterious_Light joined #darcs
14:52 Mysterious_Light I can't find out how to reorder patches by date. Is it possible?
15:48 Mysterious_Light When I do `darcs optimize reorder` in order to separate a repo into two parts, before and after a tagged patch, or when I pull patches in custom order, the history of `darcs log` is hardly readable. I think that reordering by date is natural since dependencies correlates with a timeline unless one do `darcs amend --keep-date --ask-deps`.
15:52 Mysterious_Light i actually have not checked whether the last command can create a patch depending on a later patch. That way is surely unnatural.
17:26 Mysterious_Light joined #darcs
17:32 Mysterious_Light joined #darcs
20:59 Heffalump Mysterious_Light: it doesn't necessarily correspond with a timeline of any given repo, because you might be merging patches developed independently
20:59 Heffalump but yeah, I agree it makes sense to be able to reorder by date. I don't think there's any way to actually do it.
21:00 Heffalump and yes, you can create patches where the dates are illogical. Darcs doesn't really enforce anything about dates, they're just there as helpful metadata.
21:14 mizu_no_oto joined #darcs
23:08 mizu_no_oto joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary