#mirage on 2015-02-11 — 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:02 brson has quit [Ping timeout: 246 seconds]

00:19 AltGr has joined #mirage

01:53 tlockney is now known as tlockney_away

02:25 rgrinberg has quit [Quit: Leaving.]

02:42 rgrinberg has joined #mirage

03:23 vanila has quit [Quit: Leaving]

04:05 brson has joined #mirage

04:41 kdef has quit [Ping timeout: 245 seconds]

04:42 kdef has joined #mirage

05:09 andreas1 has quit [Quit: Leaving.]

05:15 brson has quit [Ping timeout: 264 seconds]

05:36 kdef has quit [Quit: Leaving]

07:33 MrScout_ has quit [Ping timeout: 245 seconds]

07:51 yomimono has joined #mirage

08:06 larhat has joined #mirage

08:13 yomimono has quit [Ping timeout: 250 seconds]

08:27 rgrinberg has quit [Quit: Leaving.]

08:40 larhat has quit [Quit: Leaving.]

08:42 andreas has joined #mirage

08:53 mort___ has joined #mirage

09:01 avsm has joined #mirage

09:17 avsm has quit [Quit: Leaving.]

09:29 dsheets_ has joined #mirage

10:10 larhat has joined #mirage

10:13 yomimono has joined #mirage

10:21 jonludlam has joined #mirage

11:41 AltGr has left #mirage [#mirage]

11:55 djs55 has joined #mirage

12:11 jonludlam has quit [Ping timeout: 246 seconds]

12:15 jonludlam has joined #mirage

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

13:03 dsheets_ has quit [Ping timeout: 255 seconds]

13:04 <gargaml> hi

13:05 <gargaml> do you know if there is a piece of code using the Fat filesystem in a Mirage application ?

13:06 <gargaml> because I'm struggling to put pieces together to write a file on a block…

13:13 <gargaml> http://pastebin.com/XUwnCmBF

13:14 <gargaml> and this is the config.ml http://pastebin.com/KZmNX5SC

13:16 <gargaml> what I don't get yet is how can I have a value of type F.t when I call F.create

13:27 djs55 has joined #mirage

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

13:46 larhat1 has joined #mirage

13:48 larhat has quit [Ping timeout: 256 seconds]

13:52 dsheets_ has joined #mirage

14:04 mort___ has quit [Ping timeout: 250 seconds]

14:04 mort___ has joined #mirage

14:11 <gargaml> or maybe there is another way to write files ?

14:30 thomasga has joined #mirage

14:57 andreas has quit [Ping timeout: 244 seconds]

14:59 mort___ has quit [Quit: Leaving.]

15:01 mort___ has joined #mirage

15:10 djs55 has joined #mirage

15:26 gargaml has quit [Quit: WeeChat 1.1.1]

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

15:57 amirmc has joined #mirage

15:58 <amirmc> Anyone seen djs55?

15:59 djs55 has joined #mirage

16:00 <amirmc> Hi djs55 :)

16:01 <yomimono> oh whoops, fortnightly call. can I crash someone's office?

16:01 <djs55> hello

16:01 <amirmc> djs55: are you starting the GTM?

16:02 <amirmc> yomimono: Try Mort? I have to tap on keyboard to take notes

16:02 <amirmc> Or thomasG

16:02 <mort___> sure

16:02 <mort___> i need to leave ~16.30 tho

16:03 <djs55> hm, it won't let me log in

16:03 <thomasga> should we switch to something else?

16:04 <mort___> can do

16:04 <amirmc> djs55: gah! If you can't get in in the next few mins we'll switch to hangout

16:04 <mort___> am in + waiting for organizer

16:04 <djs55> hm, it keeps authenticating and telling me my internet connection is down

16:04 rgrinberg has joined #mirage

16:05 <djs55> one last try

16:05 <amirmc> ok, I think we'll switch to hangout now. I'll email the list first

16:05 <mort___> k

16:05 <amirmc> https://plus.google.com/hangouts/_/gq7e36svyh3okzlban3s65nwnya

16:07 <djs55> it totally hates me

16:08 <djs55> hm I lack a headset so can't talk on the hangout

16:08 <amirmc> we're in the hangout

16:08 <djs55> k

16:18 kdef has joined #mirage

16:33 amirmc has quit [Quit: Leaving.]

16:39 mort___ has quit [Ping timeout: 265 seconds]

16:48 tlockney_away is now known as tlockney

16:50 kdef has quit [Quit: Leaving]

16:53 MrScout has joined #mirage

16:59 mort___ has joined #mirage

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

17:02 brson has joined #mirage

17:03 yomimono has quit [Ping timeout: 256 seconds]

17:06 jonludlam has quit [Ping timeout: 246 seconds]

17:09 MrScout has quit [Remote host closed the connection]

17:10 jonludlam has joined #mirage

17:10 mort___ has quit [Quit: Leaving.]

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

17:13 rgrinberg has joined #mirage

17:39 mort___ has joined #mirage

17:46 kdef has joined #mirage

17:48 jonludlam has quit [Ping timeout: 264 seconds]

17:49 mort___ has quit [Quit: Leaving.]

17:55 thomasga has quit [Ping timeout: 250 seconds]

18:09 MrScout_ has joined #mirage

18:21 dsheets_ has quit [Ping timeout: 255 seconds]

18:27 djs55 has joined #mirage

18:30 MrScout_ has quit [Remote host closed the connection]

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

18:40 mort___ has joined #mirage

18:50 larhat1 has quit [Quit: Leaving.]

19:10 vanila has joined #mirage

19:12 MrScout has joined #mirage

19:14 mort___ has quit [Quit: Leaving.]

19:22 tlockney is now known as tlockney_away

19:46 mort___ has joined #mirage

20:07 gargaml has joined #mirage

20:28 djs55 has joined #mirage

21:19 dsheets_ has joined #mirage

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

21:43 jonludlam has joined #mirage

22:04 MrScout_ has joined #mirage

22:05 MrScout has quit [Ping timeout: 245 seconds]

22:13 gargaml has quit [Quit: WeeChat 1.1.1]

22:21 mort___ has quit [Quit: Leaving.]

22:35 mort___ has joined #mirage

22:55 rgrinberg has quit [Quit: Leaving.]

22:56 rgrinberg has joined #mirage

23:55 MrScout_ has quit [Remote host closed the connection]

23:55 MrScout has joined #mirage