companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
pie_ has joined #ocaml
<pie_> Hi folks
<pie_> I'm running into a problem on nixos;
<pie_> apparentl in the Unix library in the stdlib, open_process_args_in and related functions call open_proc like `open_proc proc args None ...`
<pie_> open_proc is:
<pie_> let open_proc prog args envopt proc input output error =
<pie_> i.e. it can be seen that open_proc is called with an explicitly empty environment
<pie_> this causes issues on nixos because we depend ...oh actually hm
<pie_> those end up going through to being a call to spawn.c
<pie_> That has
<pie_> if (Is_some(optenv)) {
<pie_> envp = caml_unix_cstringvect(Some_val(optenv), "create_process");
<pie_> } else {
<pie_> }
<pie_> envp = environ;
<pie_> back to the drawing board...
<pie_> (I knew surely the ocaml stdlib isn't that naive...)
<pie_> so, my actual problem is that something invoked via open_process_in is started with a totally empty environment
<pie_> ok, apparently I missed that some code was running open_process_full with explcit empty args; let chan_out, chan_in, chan_err = open_process_full cmd [||] in ...
ente` has joined #ocaml
<pie_> What is [| |] syntax?
<pie_> ok I managed to find a single-page manual (https://v2.ocaml.org/manual/ -> https://v2.ocaml.org/releases/4.14/ocaml-4.14-refman.txt) and ctrl-f it, so its array literals.
<pie_> Hm. So in a way the problem is that there is no way to have open_process_Args_full pass None to spawn, because it explicitly passes (Some env)
TheRuralJuror has joined #ocaml
TheRuralJuror_ has joined #ocaml
TheRuralJuror_ has quit [Client Quit]
azimut has quit [Ping timeout: 258 seconds]
williewillus has quit [Ping timeout: 244 seconds]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 260 seconds]
zebrag has quit [Quit: Konversation terminated!]
John_Ivan has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
zebrag has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
hackinghorn has quit [Quit: fBNC - https://bnc4free.com]
chrisz has quit [Ping timeout: 248 seconds]
chrisz has joined #ocaml
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #ocaml
ZachPizazz has quit [Quit: Client closed]
hackinghorn has joined #ocaml
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
jpds1 has quit [Remote host closed the connection]
jpds1 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
wingsorc has quit [Ping timeout: 260 seconds]
adanwan has quit [Quit: _]
adanwan has joined #ocaml
jpds1 has quit [Remote host closed the connection]
jpds1 has joined #ocaml
mbuf has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
mbuf has quit [Quit: Leaving]
rgrinberg has joined #ocaml
mbuf has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
Serpent7776 has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
emp_ has quit [Quit: ZNC 1.8.2 - https://znc.in]
emp has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
olle has joined #ocaml
spip has quit [Quit: Konversation terminated!]
spip has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
amk has quit [Remote host closed the connection]
amk has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
John_Ivan has joined #ocaml
Serpent7776 has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 265 seconds]
xgqt has quit [Ping timeout: 268 seconds]
xgqt has joined #ocaml
azimut has joined #ocaml
rgrinberg has joined #ocaml
<sim642> Use the non-_full function instead?
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Excess Flood]
Serpent7776 has joined #ocaml
mbuf has quit [Quit: Leaving]
mro has joined #ocaml
mro has quit [Quit: Leaving...]
emp has quit [Quit: ZNC 1.8.2 - https://znc.in]
emp has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
Everything has joined #ocaml
waleee has joined #ocaml
williewillus has joined #ocaml
noonien has quit [Quit: The Lounge - https://thelounge.chat]
noonien has joined #ocaml
Everything has quit [Quit: leaving]
bartholin has quit [Quit: Leaving]
olle has quit [Ping timeout: 250 seconds]
John_Ivan has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Ping timeout: 265 seconds]
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 265 seconds]
troydm has quit [Ping timeout: 244 seconds]
szkl has joined #ocaml
troydm has joined #ocaml