Re: [darcs-users] Is `darcs log` date format configurable?
Sorry for the (extremely) belated reply. It is currently not possible to do this because we use some ancient self-written code to format the timestamp that doesn't take system settings such as your current locale into consideration. It would be easy to change that -- in fact this is a perfect beginner-level exercise in getting acquainted with the Darcs code base. The relevant module is Darcs.Util.IsoDate. Any volunteers? I am willing to baby-sit beginners until they can navigate the code base (and the contribution procedure) by themselves. Cheers Ben On 5/2/22 23:04, Karl O. Pinc wrote: On Mon, 2 May 2022 22:27:22 +0200 Marcos Cruz wrote: Karl O. Pinc escribió/skribis/wrote/scrit (2022-04-29T13:58:58-0500): LC_TIME=en_DK.UTF-8 darcs log Using the stock debian 10 darcs (2.14.5) this does not do anything. Try it with the newer darcs and if it does not work please complain. :) Thanks, but it does not work for me either (newer Darcs compiled on Debian 10.12). I also edited and after the locales documentation: the value of `LC_TIME` changes after rebooting, as expected, but it makes no difference; even `date` ignores it. I'll investigate further. I guess Darcs uses the date format of the current locale and there's no way to change that. I don't really know, but was under the impression that changing LC_TIME is supposed to change the date format of the current locale. This would be a convenient way to frob the log timestamp, but it looks like darcs does not pay attention to LC_TIME. (Or I'm just not understanding how localization is supposed to work. Or even if it did work it'd be hackery and there's supposed to be a better way. Or...) Regards, Karl Free Software: "You don't pay back, you pay forward." -- Robert A. Heinlein ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users -- I would rather have questions that cannot be answered, than answers that cannot be questioned. -- Richard Feynman ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users
Re: [darcs-users] Is `darcs log` date format configurable?
On Mon, 2 May 2022 22:27:22 +0200 Marcos Cruz wrote: > Karl O. Pinc escribió/skribis/wrote/scrit (2022-04-29T13:58:58-0500): > > > LC_TIME=en_DK.UTF-8 darcs log > > Using the stock debian 10 darcs (2.14.5) this does not do anything. > > Try it with the newer darcs and if it does not work please > > complain. :) > > Thanks, but it does not work for me either (newer Darcs compiled on > Debian 10.12). I also edited and > after the locales documentation: the value of > `LC_TIME` changes after rebooting, as expected, but it makes no > difference; even `date` ignores it. I'll investigate further. > > I guess Darcs uses the date format of the current locale and there's > no way to change that. I don't really know, but was under the impression that changing LC_TIME is supposed to change the date format of the current locale. This would be a convenient way to frob the log timestamp, but it looks like darcs does not pay attention to LC_TIME. (Or I'm just not understanding how localization is supposed to work. Or even if it did work it'd be hackery and there's supposed to be a better way. Or...) Regards, Karl Free Software: "You don't pay back, you pay forward." -- Robert A. Heinlein ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users
Re: [darcs-users] Is `darcs log` date format configurable?
Karl O. Pinc escribió/skribis/wrote/scrit (2022-04-29T13:58:58-0500): > LC_TIME=en_DK.UTF-8 darcs log > Using the stock debian 10 darcs (2.14.5) this does not do anything. > Try it with the newer darcs and if it does not work please complain. :) Thanks, but it does not work for me either (newer Darcs compiled on Debian 10.12). I also edited and after the locales documentation: the value of `LC_TIME` changes after rebooting, as expected, but it makes no difference; even `date` ignores it. I'll investigate further. I guess Darcs uses the date format of the current locale and there's no way to change that. -- Marcos Cruz http://programandala.net ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users
Re: [darcs-users] Is `darcs log` date format configurable?
On Fri, 29 Apr 2022 19:33:03 +0200 Marcos Cruz wrote: > My first doubt is a simple one: is it possible to configure the date > format used by `darcs log`? I prefer the ISO 8601 standard format. I tried: LC_TIME=en_DK.UTF-8 darcs log Using the stock debian 10 darcs (2.14.5) this does not do anything. Try it with the newer darcs and if it does not work please complain. :) Regards, Karl Free Software: "You don't pay back, you pay forward." -- Robert A. Heinlein ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users
[darcs-users] Is `darcs log` date format configurable?
Hello. I'm a Fossil user, but I'm considering Darcs for certain projects. I have installed Darcs 2.16.5 using cabal-install, on Debian 10.12, and I'm trying it with test repositories. My first doubt is a simple one: is it possible to configure the date format used by `darcs log`? I prefer the ISO 8601 standard format. I have searched the manpage, the corresponding help commands, the Darcs Book, Understanding Darcs, the wiki… but found nothing. Thanks. -- Marcos Cruz http://programandala.net ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users