#mirage on 2015-09-24 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:11 smkz has joined #mirage

00:18 AltGr has joined #mirage

00:46 rgrinberg1 has quit [Ping timeout: 255 seconds]

01:35 copumpkin has joined #mirage

01:35 rgrinberg1 has joined #mirage

01:55 copumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

01:59 rgrinberg1 has quit [Ping timeout: 240 seconds]

02:06 jimt has quit [Ping timeout: 240 seconds]

02:30 rgrinberg1 has joined #mirage

04:36 rgrinberg1 has quit [Ping timeout: 240 seconds]

04:38 rgrinberg1 has joined #mirage

04:49 nullcat has joined #mirage

05:19 rgrinberg1 has quit [Ping timeout: 264 seconds]

06:01 jimt has joined #mirage

06:15 rgrinberg1 has joined #mirage

06:18 djs55 has joined #mirage

06:19 rgrinberg1 has quit [Ping timeout: 240 seconds]

06:31 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

06:36 djs55 has quit [Quit: Leaving.]

06:48 nullcat has joined #mirage

06:57 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

07:15 rgrinberg1 has joined #mirage

07:21 rgrinberg1 has quit [Ping timeout: 268 seconds]

07:34 andreas has joined #mirage

07:40 djs55 has joined #mirage

07:51 djs55 has quit [Quit: Leaving.]

07:52 djs55 has joined #mirage

08:08 djs55 has quit [Quit: Leaving.]

08:16 rgrinberg1 has joined #mirage

08:21 rgrinberg1 has quit [Ping timeout: 240 seconds]

09:12 jonludlam has joined #mirage

09:17 rgrinberg1 has joined #mirage

09:22 rgrinberg1 has quit [Ping timeout: 264 seconds]

09:59 AltGr has left #mirage [#mirage]

10:00 djs55 has joined #mirage

10:18 rgrinberg1 has joined #mirage

10:22 rgrinberg1 has quit [Ping timeout: 264 seconds]

10:42 djs55 has quit [Quit: Leaving.]

11:18 rgrinberg1 has joined #mirage

11:23 rgrinberg1 has quit [Ping timeout: 240 seconds]

11:42 xet7_ has quit [Ping timeout: 240 seconds]

11:42 xet7_ has joined #mirage

11:48 xet7_ has quit [Ping timeout: 268 seconds]

11:50 xet7_ has joined #mirage

12:06 xet7_ has quit [Read error: Connection reset by peer]

12:06 xet7_ has joined #mirage

12:19 rgrinberg1 has joined #mirage

12:24 rgrinberg1 has quit [Ping timeout: 240 seconds]

12:24 xet7_ has quit [Ping timeout: 240 seconds]

12:24 xet7_ has joined #mirage

12:29 copumpkin has joined #mirage

12:57 xet7_ has quit [Ping timeout: 255 seconds]

12:57 xet7_ has joined #mirage

13:20 rgrinberg1 has joined #mirage

13:25 rgrinberg1 has quit [Ping timeout: 268 seconds]

13:25 xet7_ has quit [Ping timeout: 256 seconds]

13:28 rgrinberg1 has joined #mirage

13:29 djs55 has joined #mirage

13:49 Guest17580 has joined #mirage

14:04 jonludlam has quit [Ping timeout: 268 seconds]

14:05 andreas has quit [Quit: Leaving.]

14:07 Guest17580 has quit [Remote host closed the connection]

14:07 Guest17580 has joined #mirage

14:12 j_king has quit [Quit: leaving]

14:14 Guest17580 has quit [Remote host closed the connection]

14:19 jonludlam has joined #mirage

14:24 Guest17580 has joined #mirage

14:36 rgrinberg1 has quit [Ping timeout: 268 seconds]

14:39 rgrinberg1 has joined #mirage

14:41 xet7_ has joined #mirage

14:41 Guest17580 has quit [Read error: Connection reset by peer]

14:48 nullcat has joined #mirage

15:05 xet7_ has quit [Ping timeout: 240 seconds]

15:06 djs55 has quit [Quit: Leaving.]

15:11 jonludlam has quit [Ping timeout: 244 seconds]

15:24 jonludlam has joined #mirage

15:27 rgrinberg1 has quit [Ping timeout: 252 seconds]

15:31 rgrinberg1 has joined #mirage

15:45 rgrinberg1 has quit [Ping timeout: 240 seconds]

15:58 rgrinberg1 has joined #mirage

16:12 xet7_ has joined #mirage

16:14 lasya has joined #mirage

16:15 <lasya> hi everyone! I'm trying to install mirage OS

16:16 <lasya> but opam init is failing

16:16 xet7_ has quit [Read error: Connection reset by peer]

16:16 xet7_ has joined #mirage

16:16 <lasya> with the error Sys_error("/home/lasya/.opam/repo/default/packages/alcotest/alcotest.0.4.1/opam: Too many open files")

16:16 <lasya> can someone tell me how can I fix this?

16:24 gperetin_ has joined #mirage

16:24 IbnFirnas has quit [Ping timeout: 244 seconds]

16:24 IbnFirnas has joined #mirage

16:24 IbnFirnas has quit [Changing host]

16:24 lasya has quit [Ping timeout: 244 seconds]

16:24 gperetin has quit [Ping timeout: 244 seconds]

16:24 gperetin_ is now known as gperetin

16:26 lasya has joined #mirage

16:33 <Drup> lasya: if you already have an .opam directory, why are you doing opam init ?

16:33 mort___ has joined #mirage

16:35 andreas1 has joined #mirage

16:36 andreas1 has quit [Client Quit]

16:36 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

16:42 nullcat has joined #mirage

16:45 <lasya> Drup: the 'opam update -u' asks me to do an opam init to find the current opam state

16:46 <Drup> ok, that's slightly surprising

16:46 <Drup> you didn't do any sudo or something like that ?

16:58 jonludlam has quit [Ping timeout: 240 seconds]

17:04 <lasya> Drup: tried it(sudo opam init) it's taking a long time to execute. No response yet.

17:05 <lasya> looks like it just worked! thanks!

17:07 <lasya> :)

17:13 <Drup> eeh

17:13 <Drup> actually, you shouldn't do any sudo thing

17:14 <Drup> I wasn't clear :(

17:19 mort___ has quit [Ping timeout: 246 seconds]

17:20 nullcat_ has joined #mirage

17:22 nullcat has quit [Ping timeout: 250 seconds]

17:37 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

17:46 mort___ has joined #mirage

17:58 nullcat has joined #mirage

18:03 nullcat has quit [Ping timeout: 244 seconds]

18:40 mort___ has quit [Quit: Leaving.]

18:57 xet7_ has quit [Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )]

18:59 xet7_ has joined #mirage

19:05 <lasya> Drup: oh no!

19:05 <lasya> But I have already installed it.

19:10 <lasya> though the mirage --help doesn't work

19:14 lasya has quit [Quit: Leaving]

19:19 mort___ has joined #mirage

20:17 rgrinberg1 has quit [Ping timeout: 240 seconds]

20:50 rgrinberg1 has joined #mirage

21:04 nullcat has joined #mirage

21:07 nullcat has quit [Client Quit]

21:37 rgrinberg2 has joined #mirage

21:40 IbnFirnas has quit [Ping timeout: 244 seconds]

21:40 rgrinberg1 has quit [Ping timeout: 244 seconds]

21:41 IbnFirnas has joined #mirage

22:20 nullcat has joined #mirage

22:25 nullcat has quit [Client Quit]

22:46 nullcat has joined #mirage

22:47 djs55 has joined #mirage

22:53 djs55 has quit [Quit: Leaving.]

23:07 jonludlam has joined #mirage

23:53 jonludlam has quit [Ping timeout: 272 seconds]