Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-06-18

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

All times shown according to UTC.

Time Nick Message
00:10 edwardk joined #darcs
00:11 alegadea joined #darcs
01:28 xstill joined #darcs
01:46 ilbot3 joined #darcs
01:46 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.8.4 is out http://darcs.net/Releases/2.8
03:11 mizu_no_oto joined #darcs
03:32 mizu_no_oto joined #darcs
03:50 mizu_no_oto joined #darcs
05:51 lelit joined #darcs
06:23 lelit joined #darcs
09:18 iago joined #darcs
09:20 iago Hi, is there any workaround to pull from a repository with a rebase in progress... ?
09:21 iago I can of course unsuspend -a and then pull just the patches I want, it's just less convenient
11:37 notdan hey guys
11:48 notdan I am going to try if it's possible to bump the mtl version
11:48 notdan running the tests atm
11:49 notdan but it should be OK, going to send the patch
12:25 mizu_no_oto joined #darcs
13:07 sm joined #darcs
13:08 sm g'day all. hub.darcs.net and planet.darcs.net are being upgraded, excuse this outage which looks like being about 20m
13:31 sm joined #darcs
13:35 sm upgrades complete. The darcs hub VPS now has fewer cores but more ram and all-SSD storage, courtesy of Linode
13:35 notdan yay :)
13:47 sm wow darcs hub file maintenance scripts run a lot faster
13:48 sm and running them a second time, with warm cache - OMG faster
13:48 mizu_no_oto joined #darcs
13:49 notdan SSD ftw :D
13:54 sm the Agda repo has gone bad: http://hub.darcs.net/ulfnorell/Agda/changes . darcs changes and darcs check give the same error. What else could I try ?
13:55 mizu_no_oto joined #darcs
13:56 roconnor_ joined #darcs
13:59 sm I see these kinds of errors all the time on darcs hub, though usually the effect is less serious. darcs (or libdarcs) really needs to be more robust than this
14:54 mizu_no_oto joined #darcs
15:11 mizu_no_oto joined #darcs
15:18 edwardk joined #darcs
15:36 edwardk joined #darcs
16:59 gh_ joined #darcs
17:13 mdiaz joined #darcs
17:24 mdiaz joined #darcs
17:30 gh_ so I accidentally created a repository with 376230 patches
17:30 gh_ _darcs is 63GBytes big
17:30 gh_ generated with http://hub.darcs.net/gh/bench/browse/do_cache.sh (except that I left the outer loop grow until 1000 instead of 100 when I ran it)
17:30 gh_ (a tag was created every 1000 patches)
17:30 gh_ more stats:
17:30 gh_ _darcs/pristine.hashed : 3 GBytes
17:30 gh_ _darcs/inventories : 58 GBytes
17:30 gh_ _darcs/patches : 1.5 GBytes
17:30 gh_ optimize clean threw me a stack space overflow (with ghc 7.6.3)
17:34 carter gh_: i say try it with a 7.8 build
17:34 carter now that those nasty bugs are fixed
17:34 carter in head
17:37 notdan hey carter
17:37 notdan what's up
17:37 notdan how are you doing?
17:37 carter i'm ok
17:37 carter about to head out the door
17:37 carter but catchup some other time
17:38 notdan k, sure :)
17:38 gh_ carter, I'm just running it again with a bigger stack
18:02 gh_ can't do anything with that repo.. deleting it and trying again with a 100K patches repo with one tag every 100 patches
18:04 gh_ (and smaller patches)
18:07 sm gh_: awesome repo of death
18:09 lelit joined #darcs
18:12 gh_ even deleting it takes forever
18:14 gh_ the only "surprise" is that _darcs/inventories tends to grow quite big with time, if no garbage collection is done. In there, there is 1 inventory file created for each patch, also each inventory file is bigger than the last one (until a tag is created).
18:15 gh_ also in cases like this, instead of running "optimize clean", I guess the best action to take is to make a new clone and replace the original repo by the clone
18:30 mizu_no_oto joined #darcs
18:36 sm yes this is the kind of growth that was troubling darcs hub, until garbage collection
18:36 alexei_ joined #darcs
18:45 gh_ sm, I'm wondering if it would make sense to use a filesystem with transparent compression, and have all patches and inventories uncompressed (as seen by darcs)
18:47 sm I wonder
19:27 alexei_ joined #darcs
19:29 iago joined #darcs
22:03 Igloo joined #darcs
22:04 LnL_ joined #darcs
22:41 Igloo joined #darcs
22:58 xymox joined #darcs
23:06 c74d joined #darcs
23:27 edwardk joined #darcs
23:39 Igloo joined #darcs
23:44 c74d joined #darcs

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