Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-01-12

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

All times shown according to UTC.

Time Nick Message
02:03 mulander joined #darcs
02:06 alexsuraci__ joined #darcs
02:06 bishboria joined #darcs
02:42 mizu_no_oto joined #darcs
03:42 mizu_no_oto joined #darcs
04:17 preflex_ joined #darcs
04:25 alexei___ joined #darcs
05:00 schlaftier joined #darcs
05:46 stepcut joined #darcs
06:36 f-a joined #darcs
08:59 lelit joined #darcs
11:47 preflex joined #darcs
11:47 bishboria joined #darcs
11:47 alexsuraci__ joined #darcs
11:47 mulander joined #darcs
11:48 teratorn joined #darcs
12:27 alexei___ joined #darcs
12:42 schlaftier joined #darcs
12:49 alexei___ joined #darcs
13:13 nomeata joined #darcs
13:16 bernalex joined #darcs
13:32 amgarchIn9 joined #darcs
15:06 mizu_no_oto joined #darcs
16:30 mizu_no_oto joined #darcs
16:39 mekeor joined #darcs
16:44 mekeor i have a repo which i frequently push to two servers, one being my own, the other being darcshub. my server is set to default. can i make that i only have to type "darcs push darcshub" or so instead of "darcs push mekeor:hub.darcs.net" everytime?
16:47 sm mekeor: I want that too
16:47 sm unless you enhance darcs, I think a shell alias is the best you can do
16:48 sm or an env var I suppose
16:48 sm darcs push $HUB; darcs push $ME
16:50 mekeor i see, yeah, okay :)
16:51 mekeor sm: seriously, you are very helpful all the time. thanks of that. :)
16:54 sm I have irc visible a lot at present. It's a break from other things
17:02 amgarchIn9 joined #darcs
17:04 sm mornfall: ah good point, thanks
17:09 f-a joined #darcs
17:14 f-a joined #darcs
17:15 f-a joined #darcs
17:16 f-a joined #darcs
17:17 f-a joined #darcs
17:18 _ilbot joined #darcs
17:18 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
17:18 amgarching joined #darcs
17:26 _ilbot joined #darcs
17:26 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
17:29 _ilbot joined #darcs
17:29 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
17:51 raichoo joined #darcs
18:08 amgarching joined #darcs
18:48 alexei joined #darcs
18:53 mizu_no_oto joined #darcs
19:30 gwern joined #darcs
19:30 gwern so, darcs-to-git is taking forever to convert my 7k gwern.net repo to git, and I'm installing HEAD to try out this --export thingy sm tells me about
19:46 gwern sm: alright, so I've got HEAD installed
19:46 gwern what do I need besides 'darcs log --export | git fast-import'?
19:47 sm something like: mkdir new; (cd new; git init); darcs log --export | (cd new; git fast-import)
19:48 gwern actually wait, darcs changes doesn't have --export in --help...
19:48 ilbot3 joined #darcs
19:48 sm or you probably can git init right in the darcs dir, I haven't tried it
19:48 gwern by head you meant darcs.net, right?
19:49 sm yes, try darcs changes --help. It's --fast-export I guess
19:49 sm sorry
19:49 gwern hm, no that doesn't work either
19:49 sm hmm. And I might have lied about it being in darcs head. sorry, sorry
19:50 gwern '$ darcs changes --fast-export  darcs failed:  unrecognized option `--fast-export''
19:50 gwern $ darcs --version 2.8.4 (+ 1 patch)
19:50 gwern ...so if it's not in HEAD, where is it?
19:50 sm you need (1) the latest darcs-screened branch (HEAD IMHO). Then you add the patch from the issue page, which I'll find for you
19:51 sm darcs apply http://bugs.darcs.net/file4563/implement-log-__fast_export-to-output-git_fast_import-stream.dpatch (from http://bugs.darcs.net/patch1111)
19:53 sm so: darcs get --lazy http://darcs.net/screened && cd screened && darcs apply http://bugs.darcs.net/file4563/implement-log-__fast_export-to-output-git_fast_import-stream.dpatch && cabal install
19:55 sm where by cabal install I probably mean: (cd hashed-storage && cabal install -j) && cabal install -fforce-char8-encoding -f-curl -j
19:55 sm easy
19:56 ilbot3 joined #darcs
19:57 sm darcs get --lazy http://darcs.net/screened && cd screened && darcs apply http://bugs.darcs.net/file4563/implement-log-__fast_export-to-output-git_fast_import-stream.dpatch && (cd hashed-storage && cabal install -j) && cabal install -fforce-char8-encoding -f-curl -j && cd MYREPO && git init && darcs log --fast-export | git fast-import
19:57 * sm writes that down on a postit
19:59 gwern you must have better hand writing than I do if you can manage that
19:59 sm just kidding
20:15 gwern 'src/Darcs/UI/Commands.hs:125:31:     parse error on input `-| First 'AbsolutePath' is the repository path,                               -- second one is the path where darcs was executed.'' hm, well, a doc error is not a big deal
20:49 gwern huh. I thought that the conversion was a success, but I know my repo is dirty and darcs changes shows the diffs, but 'git diff' does not
20:52 sm gwern: did you do it in the darcs repo, or a new directory ?
20:53 gwern I did it in the darcs repo
20:53 sm hmm
20:53 gwern so both darcs and git should be looking at the same dirty files
20:54 sm I'd have thought so too.. I expect it's git's index thing. Maybe you have to stage the changes with git add or magit or something
20:55 sm that is a bit vague isn't it
20:55 gwern i'm not sure why git import wouldn't track all the files
20:56 sm git add DIRTYFILE - does that make it show up in git diff ?
20:56 sm I'm not sure which of us has more git fu
20:56 * gwern is copying everything over to a new folder to play with git add
20:57 schlaftier joined #darcs
21:00 gwern hm. 'git add .
21:01 gwern ' and 'git add *' still make git diff silent
21:02 sm does git status give any clues
21:02 gwern 'git diff HEAD' *does* show all the dirtyness
21:03 sm git branch -avv ? maybe git checkout master ? (warning, effect on working dir unknown)
21:03 gwern git status shows a bunch of stuff too
21:03 sm poke it with a stick.. but be careful..
21:04 gwern hm, peculiar. git status in the original directory, without git add, shows everyhing being deleted from git's perspective
21:05 sm git checkout fixes that. In the new dir anyway
21:05 sm I know. git reset
21:06 sm fixed it, right ?
21:10 gwern yes. hm
21:11 sm argh.. what has happened to me...
21:11 sm I feel like I know what git is thinking..
21:12 * sm wanders off, dropping some handy aliases: https://gist.github.com/simonmichael/8390623
21:25 gwern weird that some of the files with unicode filenames seem to have gotten changed
21:41 sm oh oh
21:48 gwern size reduction is impressive. 1900MB for _darcs, 745M for .git
22:07 sm darcs accumulates a lot of junk under _darcs, a fresh darcs clone might be smaller
22:08 gwern I did that last week, so it'd've only freed up a very little space
22:08 sm aha
22:11 sm that sounds unusually large, the darcs repo with 10k patches uses <132M for _darcs
22:13 gwern lots of binary files like pdfs
22:13 gwern (I try to provide fulltext for all citations in my writings)
22:14 sm nice
22:14 sm which operations were noticeably slow in this repo ?
22:16 gwern deep history inspection could be really painful
22:45 mizu_no_oto joined #darcs
23:36 mizu_no_oto joined #darcs

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