Camelia, the Perl 6 bug

IRC log for #darcs, 2013-05-11

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

All times shown according to UTC.

Time Nick Message
00:54 amgarching joined #darcs
01:13 MasseR joined #darcs
01:18 epta joined #darcs
01:28 favonia joined #darcs
01:33 lpsmith joined #darcs
01:36 jyyou_ joined #darcs
01:37 dolio joined #darcs
01:39 sm_ joined #darcs
01:40 whaletechho joined #darcs
01:40 xymox joined #darcs
01:40 Igloo_ joined #darcs
01:43 pr joined #darcs
01:43 pr joined #darcs
01:56 sm__ joined #darcs
01:56 alexei joined #darcs
01:57 markstos joined #darcs
01:58 lispy_ joined #darcs
01:59 lpsmith joined #darcs
02:06 sm___ joined #darcs
02:06 dcoutts__ joined #darcs
02:06 dolio joined #darcs
02:10 tomejaguar joined #darcs
02:13 pr joined #darcs
02:13 pr joined #darcs
02:15 Igloo_ joined #darcs
02:15 jyyou_ joined #darcs
02:15 epta joined #darcs
02:15 MasseR joined #darcs
02:16 jyyou joined #darcs
02:21 pr_ joined #darcs
02:21 xymox joined #darcs
02:30 thorkilnaur joined #darcs
02:32 markstos joined #darcs
02:43 dcoutts_ joined #darcs
02:52 tomejaguar joined #darcs
02:54 lispy joined #darcs
02:58 favonia joined #darcs
03:11 dolio joined #darcs
03:14 delamonpansie joined #darcs
03:14 dleverton_ joined #darcs
03:39 preflex_ joined #darcs
03:40 edwardk joined #darcs
03:45 mndrix joined #darcs
03:56 mulander_ joined #darcs
04:04 alexei joined #darcs
05:13 slack1256 joined #darcs
05:22 edwardk joined #darcs
06:56 pr joined #darcs
07:20 lelit joined #darcs
08:09 donri joined #darcs
11:00 alexei joined #darcs
11:35 dons joined #darcs
12:12 favonia joined #darcs
12:23 Igloo joined #darcs
14:24 edwardk joined #darcs
14:48 preflex_ joined #darcs
14:54 lelit joined #darcs
15:09 alexei Hi! Darcs push to hdn failed with a larger patch. Now I get: Couldn't get lock /home/darcsden/users/amgarching/pts/_darcs/lock Is there any way to resolve that?
15:12 alexei The patch is 8400k gzipped. Adds quite a few files, including PNGs for the manual. Any tricks how to get it to hdn, sm?
15:24 lispy_ joined #darcs
15:49 tomejaguar joined #darcs
16:16 tomejaguar joined #darcs
16:23 epta_ joined #darcs
16:28 jyyou joined #darcs
16:28 MasseR joined #darcs
16:37 dixie joined #darcs
16:40 gbeshers_ joined #darcs
16:43 kerneis joined #darcs
17:03 idnaria joined #darcs
17:15 donri joined #darcs
17:17 gh_ joined #darcs
17:46 lelix joined #darcs
17:57 dixie joined #darcs
17:57 preflex joined #darcs
18:10 kaol_ joined #darcs
18:13 byorgey_ joined #darcs
18:25 lambdabot joined #darcs
18:30 intripoon joined #darcs
18:30 alexei joined #darcs
18:30 markstos joined #darcs
18:30 sm___ joined #darcs
18:33 gh_ joined #darcs
18:33 donri joined #darcs
18:33 dolio joined #darcs
18:33 pr joined #darcs
18:33 alexsuraci joined #darcs
18:33 mornfall joined #darcs
18:36 mal``` joined #darcs
18:36 alexsuraci_ joined #darcs
18:36 burp joined #darcs
18:36 stepcut joined #darcs
18:36 dixie joined #darcs
18:36 preflex joined #darcs
18:49 teratorn joined #darcs
18:49 intripoon joined #darcs
18:49 alexei joined #darcs
18:49 markstos joined #darcs
18:49 sm___ joined #darcs
18:58 teratorn joined #darcs
18:59 sm___ hi alexei, I just cleared that lock. FYI when I'm away the alternate fix is delete and recreate the repo
18:59 sm we don't seem to have a way to get large patches onto darcs hub at the moment :/
19:00 sm try it again now ?
19:00 sm and try pushing just the problem patch, not all at once
19:02 Heffalump how can you push a single patch in pieces?
19:02 Heffalump oh, i see
19:02 Heffalump not all the patches at once. duh
19:02 sm yup. But good question anyway. Maybe the patch splitting feature would be handy here
19:05 favonia joined #darcs
19:18 favonia_ joined #darcs
19:24 alexei hi, sm. Thanks for clearing the lock. Watch the memory usage ...
19:25 alexei not good. 1.4G on my side ...
19:31 alexei hm, this time it did apply ...
19:34 alexei is there a strategy to push patches in batches (to keep resource usage down) but also ignore potential (but temporary) conflicts?
19:48 favonia joined #darcs
19:58 alexei worked this time! Upload was complete.
20:10 sm wow that's big
20:15 alexei the largest patch is 8M compressed, everything is only 35M actually.
20:15 sm the memory usage seems big though
20:15 sm yours
20:15 sm my strategy if I hit this problem would be push batches or the individual large patches in question, for best chance of success. Also to avoid recording large patches
20:16 sm where possible
20:16 alexei That was Darcs 2.0.2. Maybe more recents ones are not that hungry
20:17 sm that's definitely worth a try
20:17 sm pushing locally is a good way to test
20:17 sm alexei: I see you've worked on darcsweb, nice
20:18 alexei That was just a workaround for unicode on Debian Lenny. Nothing serios. Didnt even go into upstream as-is.
20:22 gh_ joined #darcs
20:23 intripoon_ joined #darcs
20:23 alexei_ joined #darcs
20:27 sm_ joined #darcs
20:30 markstos joined #darcs
20:43 gh_ joined #darcs
21:01 markstos joined #darcs
21:10 carter joined #darcs
21:25 intripoon joined #darcs
21:26 ChanServ joined #darcs
21:26 teratorn joined #darcs
21:27 gh_ joined #darcs
21:56 favonia joined #darcs
22:03 kerneis_ joined #darcs
22:04 marmoute_ joined #darcs
22:06 vh4x0r joined #darcs
22:07 vh4x0r joined #darcs
22:08 thorkilnaur_ joined #darcs
22:10 edwardk joined #darcs
22:15 whaletechno joined #darcs
22:42 teratorn joined #darcs
22:48 edwardk_ joined #darcs
22:49 haasn joined #darcs
22:49 teratorn joined #darcs
22:50 intripoon_ joined #darcs
22:51 kaol_ joined #darcs
22:54 teratorn joined #darcs
22:54 idnar joined #darcs
23:01 favonia joined #darcs
23:04 kaol joined #darcs
23:15 gh_ joined #darcs
23:29 lpsmith joined #darcs
23:30 lambdabot joined #darcs
23:30 Heffalump joined #darcs
23:32 marmoute joined #darcs
23:43 jyyou joined #darcs
23:43 MasseR joined #darcs
23:50 gh_ joined #darcs

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