Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2015-05-06

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

All times shown according to UTC.

Time Nick Message
00:00 maerwald sm: if you are bored, try to build http://hub.darcs.net/maerwald/CGA ...it won't :P
00:00 maerwald one of the deps was broken with a few ghc versions so you had pass -fasm or so
00:00 maerwald because it didn't build with lvm
00:01 maerwald g2g, it's past midnight in europe, laters
00:01 maerwald left #darcs
00:02 sm good night!
00:58 PEB`_ joined #darcs
01:39 mizu_no_oto joined #darcs
01:59 mizu_no_oto joined #darcs
04:17 haasn joined #darcs
04:40 sprang joined #darcs
05:35 amgarchIn9 joined #darcs
06:00 mal`` joined #darcs
07:34 amgarchIn9 joined #darcs
08:21 gal_bolle joined #darcs
09:00 quarante1ne joined #darcs
09:37 notdan sm: What do you think about this (trivial) change?
09:43 notdan sm: http://hub.darcs.net/co-dan/darcsden/patch/20150506093503-80de2
10:09 notdan Uh, somehow, every time I post to the darcs mailing list, I get a load of spam messages
10:21 amgarchIn9 joined #darcs
11:42 amgarchIn9 joined #darcs
11:54 amgarchIn9 joined #darcs
12:30 amgarchIn9 joined #darcs
12:53 amgarchIn9 joined #darcs
13:18 maerwald joined #darcs
13:21 amgarchIn9 joined #darcs
14:21 sm notdan: looks like a good idea, thanks - merged
14:43 Riastradh joined #darcs
17:08 Heffalump notdan: do you get this one message in Chinese, or a whole flood?
17:53 maerwald sm: "hsx2hs must be installed, but cabal doesn't know of it yet" <- what does that mean? I am installing it via cabal
18:02 Heffalump you have to manually install preprocessors
18:03 Heffalump did you try 'cabal install hsx2hs' ?
18:06 maerwald Heffalump: ofc, that's what I did. But why can cabal not handle it?
18:08 Heffalump it just doesn't have a concept of build-tool dependencies
18:08 Heffalump it's being worked on, I believe
18:11 sm maerwald: is it in your $PATH ?
18:12 maerwald sm: yes, it works... I was just wondering about the comment
18:13 Heffalump actually, I'm not sure if there's any reason we couldn't just list it as a normal dependency, so it'd be installed first. I might be forgetting something though.
18:13 sm ah.. cabal does have a build-tools: field which can declare tool dependencies, but the list of tools is built in and doesn't yet include hsx2hs
18:14 sm that would be a nice patch to get into cabal-install
18:14 sm Heffalump: yes I seem to remember there's a problem with that, but nothing more..
18:16 sm maerwald, related: https://github.com/haskell/cabal/issues/1466 https://github.com/haskell/cabal/blob/master/Cabal/Distribution/Simple/Program/Builtin.hs#L18
18:17 maerwald sm: and it seems the program "connect" is also a dependency
18:17 sm I've never heard of that, what is it ?
18:17 maerwald network connection relaying command (proxy)
18:18 maerwald or maybe I am wrong, but it says "darcsden: connect: does not exist (Connection refused)"
18:18 sm what needs it ?
18:18 sm oh I don't think that's a program
18:19 sm so you got it installed ?
18:19 maerwald yes, but it doesn't run
18:19 sm nice. You need to customize settings in Settings/Production.hs I think
18:24 maerwald sm: my redis uses unixsocket instead of tcp port, does that work too?
18:27 Heffalump sm: I don't think build-tools dependencies actually get built
18:27 Heffalump "connect: does not exist" means a network problem, it's an error from the connect system call
18:27 Heffalump sm: even if you declare a dependency on happy/alex etc which are supported, it just checks for them
18:29 maerwald Heffalump: yes, it was redis
18:29 maerwald because I only have unix socket activated, since it's already part of some other configuration
18:33 sm Heffalump: maerwald could replace Redis with the InProcess storage in Production.h,s, right ?
18:34 sm though I'm not sure how that looks
18:36 sm (since mkInProcTransient runs in IO)
18:42 Heffalump yes, I think so, can't remember off the top of my head
18:42 Heffalump I'll check the details a bit later
18:44 sm perhaps that would be a better default (redis lib & a redis instance not required, user sessions will be lost on restart)
18:45 sm -fpersistent-sessions-redis when you need that
18:45 sm or notdan will make it just work magically out of sqlite or acid-state or something
18:49 Mathiasdm joined #darcs
18:49 quarante1ne joined #darcs
18:50 Heffalump making it a compile-time option is a step further
18:50 Heffalump but makes sense in terms of deps
18:51 sm more options is bad, hopefully we can simplify things
18:52 sm in fact, we could simply drop redis and always keep sessions in memory
18:52 Heffalump I kind of like having the abstracted backend code
18:52 Heffalump that might rot if we only have one
18:52 Heffalump but maybe that's ok
18:52 maerwald sm: do I need to prepare couchdb in some way? Error log says: Exception during CouchDB operation: HTTP/1.1 404 Object Not Found
18:53 sm no backend > multi backends maybe
18:53 sm maerwald: yes, see darcsden --help
18:54 maerwald sm: well that happens during --install ;)
18:54 sm oh
18:54 maerwald "darcsden: Exception during CouchDB operation: HTTP/1.1 415 Unsupported Media Type"
18:54 sm --help is outdated, btw. Heffalump do you remember why you dropped the --port option ?
18:55 sm maerwald: search for that error, I saw something about it the other day
18:55 sm on stackoverflow
18:55 maerwald deploying haskell apps is an adventure :o
18:55 Heffalump wasn't it because it doesn't work?
18:55 Heffalump it changed one thing but not other things that were related
18:55 sm could, I though it used to
18:56 sm could ber
18:56 sm ack
18:56 sm maerwald: yes, especially this one
18:56 maerwald sm: took me just 2 hours to set up a gitlab... and that is way more bloated
18:56 Heffalump my checkin comment says it was broken
18:56 sm we would like to make it easier to set up a simple darcsden instance, and we have a GSOC on it this year
18:56 sm Heffalump: aha
18:57 sm I expect gitlab has 10^n more personpower
18:57 sm but we can beat their 2 hours no problem, it just needs a little love
18:58 maerwald sm: gitlab is terrible
18:58 Heffalump http://irclog.perlgeek.de/darcs/2014-02-19
18:59 sm Heffalump: thanks
18:59 _loic_ joined #darcs
18:59 maerwald From a distributor point of view all this sandbox/gem stuff is highly broken. There is no easy way to track vulnerabilities across such a system.
19:00 maerwald for applications installed via the package manager, there are tools and databases to track these things
19:00 sm distributors are probably going to start packaging stackage LTS, so we just need to get darcsden into that
19:00 maerwald not sure if that is suitable for a source based distro like gentoo
19:02 maerwald sm: which couchdb version are you using?
19:03 sm I am running 1.5.0-0ubunt
19:03 maerwald I'll try with downgrading then
19:03 sm somethingsomething
19:03 maerwald uh, it wants to downgrade erlang too :o
19:04 sm I have erlang 1.16.b.3-dfsg-1ubuntu2.1
19:13 maerwald sm: darcsden: Exception during CouchDB operation: Precondition Failed <- not sure if that is progress
19:14 sm at least it's not ignoring you :)
19:14 maerwald ah, I had to delete the old broken databases
19:15 maerwald now I can access it, all links are just broken, probably configuration I guess
19:15 maerwald ah yes, hostname
19:16 maerwald http://hasufell.de/
19:16 sm \o/ well done
19:17 sm you're the fourth person to announce a public instance, AFAIK
19:17 sm that is great for demo-ing proposed changes
19:17 maerwald I hope people don't actually use it, it's a cheap vserver :P
19:18 sm you'll be seeing visits from at least baidu shortly, unless you block them
19:18 sm :)
19:18 sm shouldn't hurt your server much at this point
19:18 * maerwald shuts down apache immediately
19:18 maerwald :D
19:19 Mathiasdm joined #darcs
19:19 maerwald I could deploy it on an amazon freebsd instance... but I don't know how long that instance will run
19:19 maerwald maybe just another 6 months
19:19 sm they found my dev instance from, I think, the new DNS record, and they're still crawling via darcsden's http port even though I've since removed it from the base url
19:19 Mathiasdm left #darcs
19:19 Mathiasdm joined #darcs
19:22 ichor joined #darcs
19:24 sm maerwald: for github integration, I run it like GITHUB_CLIENT_ID=... GITHUB_CLIENT_SECRET=... darcsden
19:24 maerwald sm: yes, already did that... and I can reproduce the 404 error
19:25 sm awesome
19:25 sm maybe you can add some https://hackage.haskell.org/package/base-4.8.0.0/docs/Debug-Trace.html to http://hub.darcs.net/simon/darcsden/browse/src/DarcsDen/Handlers/UserHandlerUtils/Github.hs
19:26 maerwald authorization callback url is the same as the homepage, right?
19:26 sm yes
19:26 sm at least that's how I have it
19:27 ichor Hi all. I have a problem pushing or pulling from my DarcsHub repository. Would this be a good place to ask for some help finding the cause?
19:27 sm hi ichor, sure
19:27 sm you've checked the FAQ right
19:27 ichor I did, but could not find the answer there.
19:27 sm great
19:28 ichor There seems to be a problem with the ssh key exchange.
19:28 ichor I have put my public key in the settings.
19:29 sm a big line beginning with ssh-rsa, right
19:29 ichor Here is the output http://lpaste.net/132118#a132118
19:29 ichor Not really.
19:30 _loic_ left #darcs
19:30 ichor Ah. the line starts not with ssh-rsa
19:30 ichor But with ssh-dss
19:31 ichor I guess it is because my ssh public key is based on another cipher than ssh-rsa.
19:31 sm I don't know if that's ok or not. We support dsa as well AFAIK
19:31 sm doesn't your paste seem to say it's not finding your public key on the local machine
19:33 sm oh, no it found /home/ichor/.ssh/id_dsa
19:35 ichor Yes, it found it. They seem just to not find any common key exchange protocol.
19:35 ichor Maybe I should try and check if my ssh setup allows the key ex suggested by the server there at the end.
19:36 Heffalump it does only support some relatively old key exchange protocols
19:37 ichor Ah, then it might be that they are no longer allowed by my ssh config. Do you know one in particular which is supported?
19:38 Heffalump not off the top of my head, but I can check
19:38 dolio ichor: I have separate kex settings just for hub.darcs.net for this reason.
19:39 ichor dolio, oh, would you mind sharing these?
19:39 Heffalump I guess I have more work to do on the ssh package :-)
19:39 dolio I think the one that works is diffie-hellman-group1-sha1.
19:39 Heffalump that sounds quite plausible given the code
19:40 ichor Cool, thanks. I'll give it a try.
19:40 dolio There might be other 'old' things you have to use, too.
19:41 dolio Like, I have aes256-cbc cipher enabled for hub.
19:41 dolio Which I assume is necessary.
19:41 dolio Also hmac-sha1 in MACs.
19:43 ichor This seems to work. I have one more question. How do I verify the RSA fingerprint of darcshub?
19:45 Heffalump that's an interesting question given it doesn't have an SSL certificate - is there actually any point in doing so?
19:47 ichor One possibility is that one of the maintainers sign it with their PGP key or something.
19:49 ichor I guess darcshub is not really the place to be paranoid about these sort of security issues as things there are pretty public in the first place.
19:51 ichor I was just wondering if there was some established way to do this.
19:55 Heffalump not that I know of, I think it's the first time I've heard that question FWIW. It's a good one though :-)
19:55 Heffalump I guess that ideally the whole site would be served over ssl and you could get the ssh key from it.
19:58 ichor That would also protect the login.
19:59 ichor is the login currently in plain text?
19:59 Heffalump I think so
19:59 maerwald sm: I do not get into the codepath of "getKeys" it seems, getLoginID gets the username properly
20:09 ichor Heffalump, yes it is is just an plain http post. But I got to go now. Thanks everyone for helping me getting the kex working!
20:14 sm sorry... phone
20:15 sm I had that question by email recently, maybe it was ichor
20:15 Heffalump is there much preventing the whole site using ssl? It'd need a certificate.
20:16 sm hopefully not too much
20:17 sm maybe someone could add doli's custom ssh config to the hub FAQ
20:22 sm maerwald: any idea what happens at http://hub.darcs.net/simon/darcsden/browse/src/DarcsDen/Handlers/UserHandlers.hs#64 ?
20:22 maerwald sm: it doesn't get further than getGithubLoginR, that's for sure
20:24 * sm can't quite visualise the http requests
20:24 maerwald sm: what exactly is the cid, do you know?
20:26 sm the value of $GITHUB_CLIENT_ID ?
20:26 sm which comes from the github application settings
20:28 sm eh.. I was about to mention those env vars a little while ago and stopped, I wonder why
20:28 sm are you setting those before starting darcsden ?
20:29 sm oh I did mention it and you said you're doing that
20:29 sm 224 of darcs hub's 788 users have associated their github account
20:32 sm google doesn't provide this info it seems
20:37 maerwald sm: I have a feeling that it might be somewhat related to the "state", but I can't say for sure. Github aborts the session if the states don't match
20:40 sm what could cause this to fail every time for a small number of users and work every time (apparently) for everyone else ?
20:41 sm firewalls, proxies ?
20:41 maerwald it could even be a timing issue maybe
20:42 sm different settings on the github user accounts (two factor authentication, that kind of thing)
20:42 maerwald sm: did you try to connect via github on my site?
20:43 sm no, will do
20:43 maerwald also... I've had a bug maybe 1-2 years ago which was somewhere deep down in githubs database. Sometimes my comments won't show up for other people. I had to tell github staff.
20:44 maerwald but that was resolved then
20:44 sm I just tried it (going via the login button), and got internal server error after granting permission. Maybe in your log/console
20:45 sm at http://hasufell.de/login/github/response?code=...
20:45 maerwald Request handler threw an exception: Maybe.fromJust: Nothing
20:45 sm aha
20:45 maerwald I was worried about the amount of "fromJust" the first time I looked at the code :P
20:46 sm that sounds buggy
20:46 maerwald I'm having a break now
20:46 sm me too, lunch time
20:46 sm thank you for looking into this
20:47 sm in case you haven't already seen https://developer.github.com/v3/oauth/#common-errors-for-the-authorization-request might have some ideas
20:55 amgarchIn9 joined #darcs
21:09 notdan Heffalump: I get 2-3 messages in Chinese
21:13 notdan I have a Q regarding the error messages from here: http://hub.darcs.net/darcs/darcs-screened/browse/src/Darcs/Repository/Job.hs#166
21:14 notdan shouldn't it say something completely opposite? V1Job requires darcs v1 patches, but the repository is in darcs v2 format
23:09 maerwald sm: https://api.github.com/user/keys?access_token=... <- this site is requested in "getKeys", but if I open it manually it is indeed invalid. "user/emails?..." and "user?..." both work though
23:18 amgarchIn9 joined #darcs
23:27 maerwald sm: I have the solution
23:35 maerwald do you do newline between patch name and patch description too like in git?
23:39 sm maerwald: short description\nlong\ndescription works fine for darcs
23:42 maerwald sm: http://hub.darcs.net/maerwald/darcsden/patch/20150506233426-31d5c
23:42 sm that fixes it for you ?
23:42 maerwald yes
23:42 sm how does it work for everyone else ?
23:43 sm do they have keys cached since before the api change or something ?
23:43 sm but it worked for me on hub-dev, even after resetting all sessions
23:44 maerwald the key lookup only happens if the user is not in the coach database yet
23:44 sm ahaaa
23:44 maerwald so anyone before the api change is not affected
23:45 maerwald oops, I should probably set my realname in darcs
23:46 sm I wonder if we need any other api updates
23:46 sm I would have thought we were talking to a stable versioned api
23:47 sm hub-dev.darcs.net has your patch, can you test ?
23:49 sm or does it.. hang on
23:50 maerwald I wanted to repush my patch
23:50 sm sure, go for it
23:52 maerwald oh, now I have the patch twice :D
23:52 maerwald does darcs not have a concept for force-pushing non-fast-forward? maybe it's better not to
23:52 sm if you pushed both, just ssh hub.darcs.net obliterate darcsden and pick the one you want to remove
23:52 maerwald ah
23:53 sm and "darcs obliterate" to do it locally
23:54 sm darcs thinks it's in fast-forward mode most of the time
23:55 sm as long as no hunks conflict, it'll push anything
23:55 sm or if you have mark-conflicts or allow-conflicts set
23:56 maerwald I can't figure out what you mean with "ssh hub.darcs.net obliterate darcsden"
23:56 sm it's weird looking isn't it.. that's like doing "darcs obliterate" in the darcsden repo on hub
23:57 maerwald ooh
23:58 maerwald http://hub.darcs.net/maerwald/darcsden/patch/20150506234912-0bd70 that looks ok
23:59 maerwald I'll check out hub.dev now
23:59 sm hang on, I'll pull and rebuild

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