#mirage on 2014-06-11 — irc logs at freenode.irclog.whitequark.org

00:05 avsm has quit [Quit: Leaving.]

00:27 tlockney is now known as tlockney_away

00:40 boogie has quit [Remote host closed the connection]

02:16 tlockney_away is now known as tlockney

02:37 <owen1> MORNINGS

02:43 mcclurmc has quit [Remote host closed the connection]

02:45 mcclurmc has joined #mirage

04:28 boogie has joined #mirage

04:42 philtor has joined #mirage

05:09 tlockney is now known as tlockney_away

05:12 mcclurmc has quit [Remote host closed the connection]

05:42 mcclurmc has joined #mirage

05:49 mcclurmc has quit [Ping timeout: 265 seconds]

05:56 boogie has quit [Remote host closed the connection]

06:09 philtor has quit [Ping timeout: 252 seconds]

06:13 philtor has joined #mirage

06:30 philtor has quit [Ping timeout: 240 seconds]

07:02 owen1 has left #mirage ["WeeChat 0.4.2"]

07:11 AltGr has joined #mirage

07:46 mcclurmc has joined #mirage

07:51 mcclurmc has quit [Ping timeout: 265 seconds]

08:30 tty57 has joined #mirage

08:47 mcclurmc has joined #mirage

08:54 mcclurmc has quit [Ping timeout: 276 seconds]

09:03 djs55 has joined #mirage

09:08 djs55 has quit [Ping timeout: 276 seconds]

09:13 tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

09:14 djs55 has joined #mirage

09:20 cr409 has joined #mirage

09:55 avsm has joined #mirage

09:59 avsm has quit [Ping timeout: 245 seconds]

10:01 avsm has joined #mirage

10:03 dsheets has joined #mirage

10:19 tty57 has joined #mirage

10:19 tty57 has quit [Client Quit]

10:21 amirmc has joined #mirage

10:43 amirmc has quit [Quit: Leaving.]

10:47 tty57 has joined #mirage

10:50 avsm has quit [Quit: Leaving.]

11:34 avsm has joined #mirage

11:45 thomasga has joined #mirage

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

11:55 djs55 has quit [Quit: Leaving.]

11:56 djs55 has joined #mirage

12:01 djs55 has quit [Quit: Leaving.]

12:05 thomasga has quit [Quit: Leaving.]

12:16 avsm has quit [Quit: Leaving.]

12:51 mcclurmc has joined #mirage

12:56 mcclurmc has quit [Ping timeout: 240 seconds]

13:38 djs55 has joined #mirage

13:47 <dsheets> if i'm inside a xen guest inside a serial console link and each console uses Ctrl+] to escape, how can I escape only one level?

13:47 avsm has joined #mirage

13:48 thomasga has joined #mirage

14:02 <dsheets> hammering ctrl-a to switch consoles back to dom0 doesn't seem to work

14:14 mcclurmc has joined #mirage

14:16 tty57 has joined #mirage

14:21 yomimono has joined #mirage

14:21 cr409 has quit [Remote host closed the connection]

14:23 mcclurmc has quit [Remote host closed the connection]

14:32 yomimono has quit [Quit: Leaving]

14:32 yomimono has joined #mirage

14:34 <avsm> hannes: noddy: do we have an opam remote for the 3/4 libs?

14:37 mcclurmc has joined #mirage

14:38 <hannes> avsm: no

14:38 mcclurmc has quit [Remote host closed the connection]

14:39 <avsm> hannes: would be useful to quickly build it. You can also drop in an 'opam' file into the repo to make it easier to pin it btw

14:44 <vbmithr> hi

14:46 thomasga has quit [Quit: Leaving.]

14:55 thomasga has joined #mirage

15:11 avsm has quit [Quit: Leaving.]

15:29 avsm has joined #mirage

15:32 tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

15:52 <hannes> avsm: can you point to a git repo inside of opam? or is a repository only for releases?

15:52 <avsm> hannes: in an opam remote, yeah

15:52 <avsm> hannes: not allowed in the main repo except for a few select cases

15:52 <avsm> fine for dev tho

16:02 yomimono has quit [Quit: Leaving]

16:11 yomimono has joined #mirage

16:14 philtor_ has joined #mirage

16:29 boogie has joined #mirage

16:34 tlockney_away is now known as tlockney

16:36 philtor_ has quit [Ping timeout: 240 seconds]

16:38 mcclurmc has joined #mirage

16:41 rgrinberg1 has joined #mirage

16:43 avsm has quit [Quit: Leaving.]

16:45 rgrinberg has quit [Ping timeout: 276 seconds]

16:49 AltGr has left #mirage [#mirage]

17:02 rgrinberg1 has quit [Quit: Leaving.]

17:09 philtor_ has joined #mirage

17:26 rgrinberg has joined #mirage

17:42 djs55 has quit [Ping timeout: 272 seconds]

17:50 rgrinberg has quit [Quit: Leaving.]

17:52 yastero has quit [Ping timeout: 240 seconds]

17:53 dsheets has quit [Ping timeout: 276 seconds]

17:58 yastero has joined #mirage

18:03 thomasga has quit [Ping timeout: 240 seconds]

18:06 rgrinberg has joined #mirage

18:07 rgrinberg has quit [Client Quit]

18:08 rgrinberg has joined #mirage

18:14 philtor_ has quit [Ping timeout: 252 seconds]

18:15 amirmc has joined #mirage

18:16 amirmc has quit [Client Quit]

18:19 dsheets has joined #mirage

18:33 thomasga has joined #mirage

18:51 philtor_ has joined #mirage

18:59 philtor_ has quit [Ping timeout: 272 seconds]

19:26 yomimono has quit [Ping timeout: 240 seconds]

19:26 djs55 has joined #mirage

20:02 thomasga has quit [Quit: Leaving.]

20:26 yomimono has joined #mirage

20:28 djs55 has quit [Quit: Leaving.]

20:39 thomasga has joined #mirage

20:39 dezzy has quit [*.net *.split]

20:40 dezzy has joined #mirage

20:48 thomasga has quit [Quit: Leaving.]

21:00 djs55 has joined #mirage

21:12 rgrinberg has quit [Quit: Leaving.]

21:18 IbnFirnas has quit [*.net *.split]

21:18 __marius____ has quit [*.net *.split]

21:18 __marius____ has joined #mirage

21:24 djs55 has quit [Quit: Leaving.]

21:33 IbnFirnas has joined #mirage

21:46 rgrinberg has joined #mirage

21:57 philtor_ has joined #mirage

22:03 philtor_ has quit [Ping timeout: 264 seconds]

23:01 yomimono has quit [Ping timeout: 245 seconds]

23:41 thomasga has joined #mirage