Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2017-03-14

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

All times shown according to UTC.

Time Nick Message
00:14 mizu_no_oto joined #darcs
01:38 Riastradh joined #darcs
02:48 ilbot3 joined #darcs
02:48 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
06:50 ThomasLocke_ joined #darcs
06:50 ThomasLocke_ joined #darcs
06:52 ThomasLocke joined #darcs
06:52 ThomasLocke joined #darcs
12:44 ThomasLocke joined #darcs
13:50 IRCFrEAK joined #darcs
14:18 gh_ joined #darcs
14:20 sm I'm starting to track darcs hub-related expenses at http://hub.darcs.net/simon/darcshub-docs
14:21 sm feel free to add your hourstoo
15:15 mizu_no_oto joined #darcs
15:30 leg joined #darcs
15:40 ThomasLocke sm, Great stuff!
15:41 ThomasLocke If I use "darcs setpref boringfile .boring" is the boring files in _darcs/prefs/ and ~/ then ignored?
15:44 sm thanks ThomasLocke
15:44 sm I forget, did you find the manual section ?
15:44 ThomasLocke Yup.
15:44 ThomasLocke yup
15:45 ThomasLocke Got it..
15:45 sm woah.. http://darcs.net/manual: "2.8.4 (+ 1 patch)"
15:45 sm brrr
15:45 ThomasLocke http://darcs.net/manual/bigpage.html#boring
15:46 ThomasLocke Not quite clear whether it still reads the boring file from _darcs/ or ~/
15:46 ThomasLocke I will assume that it does not, and add everything to my new local .boring file.  :o)
15:46 ThomasLocke Better safe than sorry.
15:47 sm The boringfile preference overrides _darcs/prefs/boring, so be sure to copy that file to the boringfile.
15:47 sm my guess: it replaces _darcs/prefs/boring, and augments ~/.darcs/boring
15:47 ThomasLocke yes, this appears to be the case.
15:48 ThomasLocke So whatever is in ~/.darcs/boring is ALWAYS added to whatever I have locally. This is nice.
15:56 mizu_no_oto joined #darcs
16:47 mizu_no_oto joined #darcs
17:22 mizu_no_oto joined #darcs
21:01 mizu_no_oto joined #darcs
22:54 mizu_no_oto joined #darcs

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