Camelia, the Perl 6 bug

IRC log for #darcs, 2013-05-13

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

All times shown according to UTC.

Time Nick Message
00:02 mizu_no_oto joined #darcs
01:02 mizu_no_oto joined #darcs
01:02 intripoon joined #darcs
01:19 gbeshers joined #darcs
01:38 mizu_no_oto joined #darcs
02:00 intripoon_ joined #darcs
02:01 favonia joined #darcs
02:12 mizu_no_oto joined #darcs
02:21 intripoon joined #darcs
02:25 gbeshers joined #darcs
02:29 whaletechno joined #darcs
02:31 teratorn joined #darcs
02:36 teratorn joined #darcs
02:41 marmoute_ joined #darcs
02:47 teratorn joined #darcs
02:47 favonia joined #darcs
02:47 epta joined #darcs
02:47 markstos joined #darcs
02:52 teratorn joined #darcs
02:52 favonia joined #darcs
02:52 epta joined #darcs
02:52 markstos joined #darcs
02:53 teratorn joined #darcs
03:28 preflex_ joined #darcs
07:03 raichoo joined #darcs
07:16 lelit joined #darcs
07:25 owst joined #darcs
07:31 delamonpansie joined #darcs
08:24 idnaria joined #darcs
08:24 kerneis_ joined #darcs
08:28 vh4x0r joined #darcs
08:47 alexei_ joined #darcs
08:50 donri joined #darcs
09:34 owst joined #darcs
09:41 bsrk joined #darcs
09:44 bsrk Hi,
09:44 bsrk I put some thought into github integration
09:45 bsrk Basically there are two ways in which integration is possible
09:45 bsrk 1) Existing github account, create new darcsden account
09:45 bsrk 2) Existing github account, existing darcsden account
09:45 bsrk And the  use is in
09:46 bsrk 1) Login with github credentials
09:46 bsrk 2) Importing users's public keys from github
09:46 bsrk (and perhaps email ids as well)
09:47 bsrk If this is how it works,
09:47 bsrk we could perhaps add a new way of creating an account
09:48 bsrk and have option of syncing with a github account
09:48 bsrk The import of public keys could be either:
09:49 bsrk 1) When the account is first  linked + give an option for the user to manually resync
09:49 bsrk 2) Every time the user pushes
09:50 bsrk I think 1 is preferable,
09:50 bsrk so, If this seems okay,
09:50 bsrk I will go ahead and start coding. :-)
09:54 owst bsrk: you're relying on the bridge! Unfortunately I didn't end up having any time to work on it... there's no point having linked accounts if you can't link the underlying commits/patches :-)
09:55 bsrk owst: I am not relying on bridge. How did you get this idea?
09:55 bsrk In fact, repositories are never being involved
09:56 owst What is github integration then?
09:56 bsrk It is so that setting up/using a darcsden account becomes easier
09:57 bsrk specifically for login and public keys
09:57 owst Oh right, I see.
09:57 owst Can you use github as an openid provider?
09:57 bsrk no, oauth
09:58 bsrk which is better for our purposes anyway
09:58 bsrk http://developer.github.com/v3/
09:59 bsrk we need: http://developer.github.com/gu​ides/basics-of-authentication/ and http://developer.github.com/v3/users/keys/
09:59 owst I thought openID was about "I can login using my github account, so I don't need another account for darcs hub" and openauth was "i authorise darcs hub to grab data from git hub"
09:59 owst is that right?
09:59 bsrk you can use oauth for authentication too
09:59 owst Maybe I don't really understand what you mean by "setting up becomes easier"
10:00 bsrk User will click "login using github"
10:00 bsrk (which is a lie, but meh)
10:00 owst Why's it a lie?
10:00 bsrk he will get directed to a page
10:01 bsrk where he will see that we are going to use userids, public keys etc
10:01 bsrk and he will authorize and we will get data+auth
10:02 owst What data in particular?
10:02 bsrk public keys, email ids, etc. Whatever we want
10:03 owst Wording it as "Whatever we want" is a terrible idea ;-)
10:03 owst I would want to know exactly what you're going to take, and why!
10:03 bsrk In our case it is "Your public information" , "Your public keys"
10:04 bsrk Don't worry github will want you to be explicit
10:04 owst So the usecase is "you don't have to manually re-upload your keys, we can get it from github"
10:04 bsrk and you can login using your github cred
10:06 owst Right, so two things: 1) you don't need a new user/pass, just use your github creds and 2) you don't need to re-upload a SSH key, we can grab it.
10:07 bsrk we will still create a new user, but you can login and create using the existing github account
10:07 owst What does that mean?
10:07 owst "login and create using the existing github account" in particular.
10:07 bsrk Look at codeforces.com
10:08 bsrk I can login using my google account
10:08 bsrk but I still have an account with them
10:09 owst That looks a lot like OpenID to me ;-)
10:10 bsrk Yeah, but I don't think we can get away with not creating a new user
10:11 owst Ok so maybe I worded it badly. But you'd store the openid url rather than force the user to create a new password.
10:11 bsrk Yes
10:28 lelit joined #darcs
10:35 favonia joined #darcs
11:01 delamonpansie joined #darcs
11:09 preflex_ joined #darcs
11:11 raichoo_ joined #darcs
11:14 teratorn joined #darcs
11:25 teratorn joined #darcs
11:25 owst joined #darcs
11:25 epta joined #darcs
11:25 markstos joined #darcs
11:41 teratorn joined #darcs
11:55 gbeshers joined #darcs
12:12 raichoo joined #darcs
12:34 delamonpansie joined #darcs
12:43 gh_ joined #darcs
12:48 preflex_ joined #darcs
13:15 _ilbot joined #darcs
13:15 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
13:31 _ilbot joined #darcs
13:31 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
13:31 favonia joined #darcs
13:35 whaletechno joined #darcs
13:45 uniquenick joined #darcs
13:49 teratorn joined #darcs
13:49 lelix joined #darcs
13:54 _ilbot joined #darcs
13:54 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
13:57 dixie joined #darcs
14:02 teratorn joined #darcs
14:10 kerneis_ joined #darcs
14:10 preflex_ joined #darcs
14:10 kaol_ joined #darcs
14:10 whaletechno joined #darcs
14:10 favonia joined #darcs
14:10 gbeshers joined #darcs
14:10 intripoon_ joined #darcs
14:10 delamonpansie joined #darcs
14:10 preflex joined #darcs
14:10 gh_ joined #darcs
14:10 raichoo joined #darcs
14:10 lelit joined #darcs
14:10 alexei_ joined #darcs
14:10 vikraman joined #darcs
14:10 kerneis joined #darcs
14:10 idnaria joined #darcs
14:10 marmoute_ joined #darcs
14:10 sm joined #darcs
14:10 kaol joined #darcs
14:10 tomejaguar joined #darcs
14:10 mulander joined #darcs
14:10 MasseR joined #darcs
14:10 jyyou joined #darcs
14:10 Heffalump joined #darcs
14:10 lambdabot joined #darcs
14:10 lpsmith joined #darcs
14:10 haasn joined #darcs
14:10 thorkilnaur_ joined #darcs
14:10 66MAAEBUF joined #darcs
14:10 burp joined #darcs
14:10 alexsuraci_ joined #darcs
14:10 mal``` joined #darcs
14:10 mornfall joined #darcs
14:10 alexsuraci joined #darcs
14:10 pr joined #darcs
14:10 dolio joined #darcs
14:10 byorgey_ joined #darcs
14:10 lispy joined #darcs
14:10 Igloo joined #darcs
14:10 mndrix joined #darcs
14:10 dleverton_ joined #darcs
14:10 dcoutts_ joined #darcs
14:10 xymox joined #darcs
14:10 felipe joined #darcs
14:11 donri joined #darcs
14:12 uniquenick joined #darcs
14:12 gh_ joined #darcs
14:12 teratorn joined #darcs
14:15 favonia joined #darcs
14:18 nomeata joined #darcs
14:28 marmoute joined #darcs
14:34 mulander_ joined #darcs
14:52 raichoo joined #darcs
14:52 dolio joined #darcs
15:18 mizu_no_oto joined #darcs
15:20 stepcut joined #darcs
15:20 favonia joined #darcs
16:05 lelit joined #darcs
16:31 dixie_ joined #darcs
16:35 epta joined #darcs
16:37 idnar joined #darcs
17:13 alexei_ joined #darcs
17:13 marmoute_ joined #darcs
17:13 kaol joined #darcs
17:19 donri joined #darcs
17:25 gbeshers joined #darcs
17:46 _ilbot joined #darcs
17: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
17:58 mulander joined #darcs
17:58 donri joined #darcs
17:58 favonia joined #darcs
17:58 epta_ joined #darcs
18:34 carter joined #darcs
19:04 favonia joined #darcs
19:07 dixie joined #darcs
19:42 alexei_ joined #darcs
20:14 mizu_no_oto joined #darcs
20:28 epta_ joined #darcs
20:28 donri joined #darcs
20:28 mulander joined #darcs
20:35 idnar joined #darcs
20:55 favonia joined #darcs
22:11 otters joined #darcs
22:11 otters ok, so this is the only place on the internet where this error has been encountered before
22:11 otters when I try to launch ghci or anything, I get "eventfd: unsupported operation (Function not implemented)"
22:11 otters debian 7.0 wheezy
22:14 otters ok nvm i'm using jessie actually
22:20 otters joined #darcs
22:23 dolio joined #darcs
22:43 otters joined #darcs
22:45 otters joined #darcs
22:51 otters joined #darcs
23:12 otters joined #darcs
23:21 alexei_ joined #darcs
23:39 lambdabot joined #darcs
23:45 mizu_no_oto joined #darcs
23:55 gh_ joined #darcs

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