#ocaml on 2021-05-28 — irc logs at libera.irclog.whitequark.org

2021-05-26 13:52 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:10 favonia has quit [Ping timeout: 244 seconds]

00:11 favonia has joined #ocaml

00:14 dhil has quit [Ping timeout: 264 seconds]

00:24 favonia has quit [Ping timeout: 248 seconds]

00:24 favonia has joined #ocaml

00:33 favonia has quit [Ping timeout: 248 seconds]

00:34 favonia has joined #ocaml

00:38 dy is now known as pissnet

00:38 pissnet is now known as dy

00:45 gzj has joined #ocaml

00:48 waleee has quit [Quit: WeeChat 3.1]

00:53 favonia has quit [Ping timeout: 248 seconds]

00:54 favonia has joined #ocaml

01:05 dieggsy has quit [Read error: Connection reset by peer]

01:05 dieggsy has joined #ocaml

01:08 waleee has joined #ocaml

01:09 waleee has quit [Client Quit]

01:10 waleee has joined #ocaml

01:15 gzj has quit [Remote host closed the connection]

01:15 gzj has joined #ocaml

01:33 waleee has quit [Ping timeout: 252 seconds]

01:42 gzj has quit [Read error: Connection reset by peer]

01:42 favonia has quit [Ping timeout: 264 seconds]

01:42 gzj has joined #ocaml

01:43 favonia has joined #ocaml

01:54 gzj has quit [Remote host closed the connection]

01:54 gzj has joined #ocaml

02:03 mayhew has quit [Quit: Konversation terminated!]

02:03 favonia has quit [Ping timeout: 248 seconds]

02:04 favonia has joined #ocaml

02:34 favonia has quit [Ping timeout: 248 seconds]

02:36 favonia has joined #ocaml

02:45 berberman has joined #ocaml

02:46 mbuf has joined #ocaml

02:46 berberman_ has quit [Ping timeout: 264 seconds]

03:11 dieggsy has quit [Read error: Connection reset by peer]

03:13 dieggsy has joined #ocaml

03:21 gzj has quit [Remote host closed the connection]

03:21 gzj has joined #ocaml

03:23 yomimono has joined #ocaml

03:23 favonia has quit [Ping timeout: 272 seconds]

03:25 favonia has joined #ocaml

03:28 dieggsy has quit [Read error: Connection reset by peer]

03:28 dieggsy has joined #ocaml

03:41 dieggsy has quit [Read error: Connection reset by peer]

03:41 dieggsy has joined #ocaml

03:46 dieggsy has quit [Read error: Connection reset by peer]

03:46 dieggsy has joined #ocaml

03:48 dy has quit [Quit: Textual IRC Client: www.textualapp.com]

03:48 dy has joined #ocaml

04:10 favonia has quit [Ping timeout: 264 seconds]

04:10 favonia has joined #ocaml

04:19 favonia has quit [Ping timeout: 248 seconds]

04:21 favonia has joined #ocaml

04:28 favonia has quit [Ping timeout: 264 seconds]

04:29 favonia has joined #ocaml

04:37 gzj has quit [Remote host closed the connection]

04:37 gzj has joined #ocaml

05:17 favonia has quit [Ping timeout: 252 seconds]

05:19 favonia has joined #ocaml

05:30 favonia has quit [Ping timeout: 248 seconds]

05:32 favonia has joined #ocaml

05:44 mikess has left #ocaml [#ocaml]

06:10 wonko has joined #ocaml

06:32 dieggsy has quit [Read error: Connection reset by peer]

06:32 dieggsy has joined #ocaml

06:33 dieggsy has quit [Read error: Connection reset by peer]

06:33 dieggsy has joined #ocaml

06:34 favonia has quit [Ping timeout: 244 seconds]

06:35 wagle has joined #ocaml

06:35 favonia has joined #ocaml

06:39 wagle has quit [Ping timeout: 248 seconds]

06:43 wagle has joined #ocaml

06:43 favonia has quit [Ping timeout: 248 seconds]

06:45 favonia has joined #ocaml

06:58 wagle has quit [Ping timeout: 264 seconds]

06:58 favonia has quit [Ping timeout: 248 seconds]

07:00 favonia has joined #ocaml

07:01 wagle has joined #ocaml

07:07 favonia has quit [Ping timeout: 264 seconds]

07:07 favonia has joined #ocaml

07:08 wagle has quit [Ping timeout: 264 seconds]

07:11 wagle has joined #ocaml

07:34 favonia has quit [Ping timeout: 248 seconds]

07:35 Haudegen has joined #ocaml

07:35 favonia has joined #ocaml

07:45 wagle has quit [Ping timeout: 248 seconds]

07:47 favonia has quit [Ping timeout: 248 seconds]

07:48 favonia has joined #ocaml

07:49 wagle has joined #ocaml

07:58 wagle has quit [Ping timeout: 264 seconds]

07:59 wagle has joined #ocaml

08:01 Serpent7776 has joined #ocaml

08:01 favonia has quit [Ping timeout: 248 seconds]

08:02 favonia has joined #ocaml

08:11 wagle has quit [Ping timeout: 248 seconds]

08:22 wagle has joined #ocaml

08:32 wagle has quit [Ping timeout: 248 seconds]

08:33 dhil has joined #ocaml

08:37 favonia has quit [Ping timeout: 248 seconds]

08:37 favonia has joined #ocaml

08:39 wagle has joined #ocaml

08:58 favonia has quit [Ping timeout: 248 seconds]

08:59 favonia has joined #ocaml

09:14 favonia has quit [Ping timeout: 264 seconds]

09:15 gareppa has joined #ocaml

09:54 Guest4627 has joined #ocaml

09:58 gareppa has quit [Quit: Leaving]

10:07 vicfred has quit [Quit: Leaving]

11:09 waleee has joined #ocaml

11:15 waleee has quit [Ping timeout: 264 seconds]

11:17 waleee has joined #ocaml

11:39 dieggsy has quit [Read error: Connection reset by peer]

11:40 dieggsy has joined #ocaml

11:40 dieggsy has quit [Read error: Connection reset by peer]

11:40 dieggsy has joined #ocaml

11:40 waleee has quit [Ping timeout: 264 seconds]

11:42 gareppa has joined #ocaml

11:44 TakinOver has quit [Ping timeout: 252 seconds]

11:59 TakinOver has joined #ocaml

12:04 <reynir> I think I used the weechat plugin and IIRC it didn't work if d_bot sent an empty or spaces only message

12:05 <reynir> I would also like a way to tell if it's coming from discord or now :)

12:08 gareppa has quit [Quit: Leaving]

12:23 favonia has joined #ocaml

12:33 waleee has joined #ocaml

12:33 wonko has quit [Quit: See You Space Cowboy..]

12:37 waleee has quit [Ping timeout: 248 seconds]

12:44 cedric has joined #ocaml

12:53 berberman_ has joined #ocaml

12:54 berberman has quit [Ping timeout: 248 seconds]

13:05 gzj has quit [Remote host closed the connection]

13:05 gzj has joined #ocaml

13:07 gzj has quit [Remote host closed the connection]

13:07 gzj has joined #ocaml

13:08 <zozozo> yeah, I know about the empty messages but I haven't yet found a way to fix it

13:10 gzj has quit [Read error: Connection reset by peer]

13:10 gzj has joined #ocaml

13:11 gzj has quit [Remote host closed the connection]

13:11 gzj has joined #ocaml

13:12 <reynir> Yea same :/

13:14 gzj has quit [Read error: Connection reset by peer]

13:14 gzj has joined #ocaml

13:21 gzj has quit [Remote host closed the connection]

13:21 gzj has joined #ocaml

13:25 gzj has quit [Remote host closed the connection]

13:25 gzj has joined #ocaml

13:26 gzj has quit [Read error: Connection reset by peer]

13:26 gzj has joined #ocaml

13:31 mariari has joined #ocaml

13:40 towel_ has joined #ocaml

13:40 towel has quit [Read error: Connection reset by peer]

13:41 favonia has quit [Quit: Leaving]

13:48 dy has quit [Quit: Textual IRC Client: www.textualapp.com]

13:49 dy has joined #ocaml

13:51 throwawayocaml has joined #ocaml

13:55 <throwawayocaml> Hi! I'm trying to configure an OCaml-based Docker image using Alpine, but I'm new to it, so I don't really know the best way to do things.

13:56 <throwawayocaml> I wanted to install only the opam package, without the ocaml one, but it seems to be a dependency.

13:57 <throwawayocaml> The reason is, I want to later use older versions of OCaml, so I'll need to install another switch. But then I wonder: why install the default switch at all? I just need the opam *binaries*, for minimal footprint. But if I try, say, to wget the opam x86_64 binary from the Github links, and run it directly (skipping the whole `apk` package), I get a

13:57 <throwawayocaml> `/bin/sh: ./opam: not found` error, so it doesn't work either.

13:59 <zozozo> throwawayocaml: here are some instructions to get and install the binaries of opam : https://opam.ocaml.org/doc/Install.html#Binary-distribution

14:00 <zozozo> maybe they can help

14:00 <throwawayocaml> Thanks, but the thing is, Alpine uses busybox by default, so I think its shell is somewhat different, so for instance even the command `sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)` doesn't work...

14:08 <d_bot> <PhD In Cramming> maybe just customize this https://hub.docker.com/r/ocaml/opam/tags

14:18 <throwawayocaml> That looks nice! I wonder if the Dockerfiles are available somewhere?

14:24 gzj has quit [Read error: Connection reset by peer]

14:30 TheLemonMan has joined #ocaml

14:47 Guest4627 has quit [Quit: Client closed]

14:51 cedric has quit [Quit: Konversation terminated!]

15:07 mbuf has quit [Quit: Leaving]

15:17 favonia has joined #ocaml

15:21 Serpent7776 has quit [Read error: Connection reset by peer]

15:22 Serpent7776 has joined #ocaml

15:36 <d_bot> <PhD In Cramming> maybe try looking up on github?

15:36 <d_bot> <PhD In Cramming> i have tried my best to make stuff work with alpine in the past but it's so so hard

15:41 <d_bot> <undu> it's on gitlab, iirc

15:41 <d_bot> <undu> https://gitlab.com/ocaml-platform/ocaml-containers

15:42 <zozozo> this repo has an unfortunate name collision with https://github.com/c-cube/ocaml-containers , :p

15:43 <d_bot> <undu> oops, not true anymore, the new ones are produced using ocurrent: https://github.com/ocurrent/docker-base-images

16:37 Tuplanolla has joined #ocaml

17:10 bmsk has left #ocaml [#ocaml]

17:20 throwawayocaml has quit [Ping timeout: 272 seconds]

17:24 gzj has joined #ocaml

17:24 noddy has quit [Quit: (λω.ωω)(λω.ωω)]

17:24 noddy has joined #ocaml

17:29 gzj has quit [Ping timeout: 264 seconds]

17:54 <drakonis> the matrix bridge is up for the matrix lovers

17:59 waleee has joined #ocaml

18:17 wagle has quit [Ping timeout: 248 seconds]

18:21 orc has joined #ocaml

18:21 orc has quit [Quit: orc]

18:28 wagle has joined #ocaml

18:29 vicfred has joined #ocaml

18:40 wagle has quit [Ping timeout: 248 seconds]

18:46 wagle has joined #ocaml

18:48 unyu has quit [Quit: WeeChat 3.1]

18:56 wagle has quit [Ping timeout: 272 seconds]

18:57 waleee has quit [Ping timeout: 248 seconds]

19:00 wagle has joined #ocaml

19:02 waleee has joined #ocaml

19:03 selimcan has joined #ocaml

19:12 selimcan has quit [Quit: Leaving]

19:42 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

19:50 selimcan has joined #ocaml

20:02 vicfred has quit [Ping timeout: 252 seconds]

20:06 dieggsy has quit [Read error: Connection reset by peer]

20:06 dieggsy has joined #ocaml

20:09 vicfred has joined #ocaml

20:18 zebrag has joined #ocaml

20:33 zebrag has quit [Quit: Konversation terminated!]

20:33 zebrag has joined #ocaml

20:38 zebrag has quit [Client Quit]

20:38 zebrag has joined #ocaml

20:38 zebrag has quit [Client Quit]

20:40 zebrag has joined #ocaml

20:44 zebrag has quit [Client Quit]

20:44 zebrag has joined #ocaml

20:58 cedric has joined #ocaml

21:15 cedric has quit [Quit: Konversation terminated!]

21:26 dy has quit [Quit: Textual IRC Client: www.textualapp.com]

21:44 zebrag has quit [Quit: Konversation terminated!]

21:44 zebrag has joined #ocaml

21:56 Sumera[m] has quit [Quit: node-irc says goodbye]

21:56 radiopotin[m] has quit [Quit: node-irc says goodbye]

21:56 labor[m] has quit [Quit: node-irc says goodbye]

21:56 Sumera[m] has joined #ocaml

21:57 labor[m] has joined #ocaml

21:57 radiopotin[m] has joined #ocaml

21:59 vicfred has quit [Quit: Leaving]

22:23 waleee has quit [Ping timeout: 272 seconds]

22:24 dy has joined #ocaml

22:25 waleee has joined #ocaml

22:28 selimcan has quit [Quit: Leaving]

22:58 Serpent7776 has quit [Quit: leaving]

22:59 waleee has quit [Ping timeout: 272 seconds]

23:01 waleee has joined #ocaml

23:12 Tuplanolla has quit [Quit: Leaving.]

23:15 noddy has quit [Quit: ⌨ ︵└(՞▃՞ └)]

23:40 vicfred has joined #ocaml

23:48 waleee has quit [Ping timeout: 264 seconds]

23:55 noddy has joined #ocaml

23:55 waleee has joined #ocaml