Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2015-03-17

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

All times shown according to UTC.

Time Nick Message
00:48 mizu_no_oto joined #darcs
04:35 amgarchIn9 joined #darcs
07:52 amgarchIn9 joined #darcs
08:00 amgarchIn9 joined #darcs
08:11 amgarchIn9 joined #darcs
11:27 mizu_no_oto joined #darcs
11:37 mizu_no_oto joined #darcs
13:21 mizu_no_oto joined #darcs
13:31 notdan https://www.google-melange.com/gsoc/proposal/review/student/google/gsoc2015/difrumin/5704420943724544?
13:56 jackhill joined #darcs
14:41 gh_ joined #darcs
14:48 notdan joined #darcs
16:38 gh_ hi
16:41 sm notdan: inaccessible
17:19 gh_ sm, do repositories on darcsden have a working directory? I know we can browse the files but I was wondering if we were directly looking at the pristine files?
17:25 sm gh_: they do, but the web app is displaying what's committed, not the working copy
17:26 gh_ sm, so there is space that can be saved then?
17:26 sm what are you thinking ?
17:27 sm do we have "bare" repos in darcs ?
17:27 gh_ sm, making darcsden work with working-copy-less repositories
17:27 gh_ sm, of course! darcs 2.8 already has them :)
17:27 gh_ sm, in darcs 2.10 we fixed some bugs about them anyway
17:28 gh_ http://darcs.net/Releases/2.8#new-features   "--no-working-dir"
17:28 sm darcsden/darcs hub could be a use case for that alright. I think most of the space usage is from patches, I'll check
17:29 gh_ you can save ~10 MBytes for a darcs.net mirror and ~20MBytes for a wiki.darcs.net mirror
17:30 gh_ yeah sure.
17:30 gh_ the figures I have a couple of months ago are (from full repo to bare):
17:30 gh_ * darcs.net: 62 to 51
17:30 gh_ * wiki.darcs.net: 65 to 44
17:31 gh_ I measured that because I wanted to evaluate the space cost of automatic git mirrors on darcsden
17:31 sm on darcs hub right now it appears the working copies use about 2G of 6G, more than I expected
17:32 sm how to you convert a repo to/from a bare one ?
17:33 gh_ ... great question
17:33 gh_ !
17:33 sm what if I rm'd all but _darcs right now ?
17:33 gh_ manually you delete everything except _darcs and you modify _darcs/format to
17:33 sm I expect darcsden won't notice, I'll just have a lot of dirty working copies
17:34 gh_ "hashed|no-working-dir" must appear in _darcs/format
17:34 gh_ in fact, since all darcsden repos are darcs-2 they will have the same _darcs/format file anyway
17:35 gh_ this one: http://lpaste.net/8092246267209449472
17:35 sm nice, adding that to _darcs/format makes whatsnew show no changes
17:35 gh_ sm, it is not enough, the problem will be when you push to them
17:36 gh_ we should introduce `darcs optimize enable/disable-working-dir`
17:37 gh_ sm, I meant, just deleting working is not enough, if you update _darcs/format then it's ok
17:37 sm ok. I've done it to my website's repo, I'll see how it works
17:38 sm seems pretty easy
17:39 sm seems to work great
17:40 sm nice idea gh. I guess I'll do it for all my repos next, and ultimately for all repos. Can't think of any major risk right now
17:43 gh_ :)
17:51 sm done it for my repos.. strangely my usage shrunk only from 1.1G to 964M
17:52 sm I guess repos with big files and short histories will see most savings
17:54 dolio joined #darcs
18:02 gh_ yes
18:23 amgarchIn9 joined #darcs
19:49 amgarchIn9 joined #darcs
20:19 amgarchIn9 joined #darcs
21:23 Riastradh joined #darcs
23:06 dolio joined #darcs

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