Camelia, the Perl 6 bug

IRC log for #darcs, 2013-10-17

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

All times shown according to UTC.

Time Nick Message
00:47 favonia joined #darcs
01:20 intripoon joined #darcs
01:49 favonia joined #darcs
02:32 mizu_no_oto joined #darcs
02:57 intripoon_ joined #darcs
03:45 preflex joined #darcs
05:12 solrize joined #darcs
05:18 solrize left #darcs
06:37 notdan Hm, I've searched the bugtracker but I can't find the relevant information to my problem: apparently 'darcs push' does not expand '~' to $HOME?
06:37 notdan At least this is how it is for me on darcs 2.8.4 (+1 patch)
06:38 notdan I've only found this old issue: http://bugs.darcs.net/issue2196
07:07 Heffalump generally you'd expect the shell to do that, not darcs
07:08 Heffalump doesn't the shell try to expand it locally (i.e. to the wrong thing) before darcs even sees it?
07:11 * Heffalump is not too sure what the right thing to do here is - different sehlls expand things differently, so darcs can't itself simulate everything a shell would do.
07:11 Heffalump on the other hand common things like ~ might be unambiguous
07:11 Heffalump but there's still the risk of the local shell screwing it up before darcs even sees it
07:21 lelit joined #darcs
07:32 amgarchIn9 joined #darcs
07:43 raichoo joined #darcs
09:01 fibred-dolio joined #darcs
09:43 donri joined #darcs
12:39 mizu_no_oto joined #darcs
12:52 whaletechno joined #darcs
13:21 bishboria joined #darcs
14:07 mizu_no_oto joined #darcs
16:33 adnap joined #darcs
16:34 mizu_no_oto joined #darcs
17:23 schlaftier joined #darcs
17:36 amgarchIn9 joined #darcs
18:13 burp joined #darcs
18:37 raichoo joined #darcs
18:48 mizu_no_oto joined #darcs
18:51 drostie joined #darcs
18:55 favonia joined #darcs
18:59 javier_rooster joined #darcs
19:02 javier_rooster joined #darcs
19:02 lelit joined #darcs
19:05 javier_rooster joined #darcs
19:07 javier_rooster joined #darcs
19:10 javier_rooster joined #darcs
19:25 dleverton joined #darcs
19:33 favonia joined #darcs
20:40 amgarchIn9 joined #darcs
23:15 drostie joined #darcs

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