Camelia, the Perl 6 bug

IRC log for #darcs, 2013-06-21

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

All times shown according to UTC.

Time Nick Message
00:40 carter joined #darcs
01:16 intripoon joined #darcs
01:54 onetom joined #darcs
03:36 preflex_ joined #darcs
04:48 povman joined #darcs
06:17 povman joined #darcs
07:06 onetom joined #darcs
07:48 kmels_ joined #darcs
08:07 MasseR joined #darcs
08:21 amgarchIn9 joined #darcs
08:23 amgarchIn9 joined #darcs
08:24 povman joined #darcs
08:39 raichoo joined #darcs
08:41 raichoo morning
08:58 amgarchIn9 joined #darcs
09:04 onetom is there anyone here familiar with the heroku api?
09:05 onetom im wondering how can i trick heroku to use darcs instead of git… :/
09:57 amgarchIn9 joined #darcs
10:23 owst joined #darcs
11:59 amgarchIn9 joined #darcs
13:02 favonia joined #darcs
13:08 konundra joined #darcs
13:09 amgarchIn9 joined #darcs
13:30 uniquenick joined #darcs
13:40 povman joined #darcs
13:48 mizu_no_oto joined #darcs
14:16 povman joined #darcs
14:46 povman joined #darcs
14:47 dolio joined #darcs
15:06 povman joined #darcs
15:15 amgarchIn9 joined #darcs
15:19 amgarchIn9 joined #darcs
15:34 raichoo joined #darcs
15:55 mizu_no_oto joined #darcs
15:59 bsrk joined #darcs
16:27 kmels_ joined #darcs
16:36 bsrk_ joined #darcs
17:01 * Heffalump appears
17:01 Heffalump except I'm about to disappear into a tunnel, so back in a bit!
17:01 Heffalump bsrk_: how's it going?
17:02 bsrk_ Hi
17:02 bsrk_ I have made progress with file edit
17:02 bsrk_ but it still in the works
17:02 bsrk_ 1) File display has to be fixed (it is not getting shown properly)
17:03 bsrk_ 2) Edit window of File edit has to be fixed (the space are not getting aligned right)
17:03 bsrk_ 3) It is not working with darcs 2.8
17:03 bsrk_ These are the three problems I have identified
17:03 bsrk_ If you can spot other, do tell!
17:04 bsrk_ You should be able to edit a file by modifying the url path
17:04 bsrk_ first browse the file
17:04 bsrk_ and then change browse to edit-file
17:04 bsrk_ (in the url)
17:05 dolio joined #darcs
17:06 onetom why edit-file, not just edit simply?
17:06 bsrk_ No reason. :-)
17:06 bsrk_ Well, edit-file is more consitent with internal filenames
17:07 mtp doesn't darcs process abbrevations helpfully?
17:07 jyyou joined #darcs
17:07 onetom think w end user head. the url is something which is end user facing, so make it nice and concise
17:09 bsrk_ The final interface is with buttons and links, so the end use will not be touching the url anyway
17:22 dolio joined #darcs
17:24 * Heffalump reappears
17:24 Heffalump bsrk_: that's not very RESTful
17:24 Heffalump URI design does matter
17:25 Heffalump re edit vs edit-file, is there anything else one might want to edit at the same URL root?
17:26 Heffalump (I mean that the general claim that URL is not end-user facing is not very RESTful, not this particular question)
17:27 Heffalump bsrk_: how is the code review with sm going
17:27 Heffalump ?
17:27 bsrk_ sm has started it.
17:27 Heffalump have you had any feedback yet? Does he need any help from you?
17:28 bsrk_ Ah, I haven't gotten any feedback yet.
17:29 Heffalump so, regarding edit, can you describe your general approach to it?
17:31 bsrk_ The user can edit a file with a message
17:31 bsrk_ darcsden will record the changes with the message as the patch name
17:32 donri joined #darcs
17:32 Heffalump how does it compare with other hosting sites?
17:33 bsrk_ Obviously it could be a lot better:
17:33 bsrk_ 1) I think a highlight when editing source code will be nice
17:34 bsrk_ Space allignment is also not misleading
17:35 bsrk_ 2) The display in browse is not faithful to the actual text either
17:36 bsrk_ But the basic design is similar to what is shown in other hosting sites
17:36 bsrk_ particularly, github
17:36 Heffalump and what would it take to get to the same level as github?
17:37 bsrk_ I think we can use a editor plugin for the textarea in file edit
17:37 Heffalump plugin in what sense?
17:37 bsrk_ and also the display errors in the view should be fixed
17:38 bsrk_ there are a lot of javascript plugins
17:38 bsrk_ which can function as an editor
17:38 bsrk_ ie, make a textarea element behave as a text editor
17:39 dolio joined #darcs
17:39 Heffalump and what are you doing?
17:39 bsrk_ there is no plugin as of yet
17:40 bsrk_ I will add that.
17:40 bsrk_ There are also a lot of bugs to fix
17:40 bsrk_ and there are also going to be bugs that I don't know, which I will try to find out
17:40 bsrk_ It is not very usable yet. :-)
17:42 Heffalump what are you doing if not using a plugin?
17:42 bsrk_ I dont think not using a plugin is a good idea, or even feasible
17:42 bsrk_ http://en.wikipedia.org/wiki/Comparison_​of_JavaScript-based_source_code_editors
17:42 bsrk_ I will just pick one, and go with it. :-)
17:43 Heffalump now I'm confused about what you've done, if you aren't using a plugin but think you need to use one :-)
17:43 Heffalump btw, how do I ssh push to your server? I've set SSH_PORT but the hostname www.darcsden-gsoc.biz seems to just hang.
17:44 Heffalump oh, never mind, my error
17:44 Heffalump or actually darcs' error in being rubbish about telling me about the key fingerprnit acceptance prompt from ssh
18:03 carter joined #darcs
18:15 povman joined #darcs
18:31 bsrk_ Heffalump: I am leaving now,
18:32 bsrk_ at what time should we next meet?
18:32 amgarchIn9 joined #darcs
18:32 Heffalump Monday or Tuesday look good for me
18:33 bsrk_ Tuesday then
18:33 Heffalump ok. I think I'm free any time after 4pm UK time.
18:33 bsrk_ bye!
18:34 edwardk joined #darcs
18:46 mizu_no_oto joined #darcs
18:57 lelit joined #darcs
19:04 carter joined #darcs
19:09 dolio joined #darcs
19:29 amgarchIn9 joined #darcs
19:54 iago joined #darcs
20:29 povman joined #darcs
20:35 burp_ joined #darcs
21:02 amgarchIn9 joined #darcs
21:10 povman left #darcs
21:46 edwardk joined #darcs
21:48 dolio joined #darcs
22:10 konundra joined #darcs
23:28 alexei joined #darcs

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