From 4be63e4d7e311f855a7cc94082f58a080b8c2a56 Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Mon, 3 Jun 2024 19:11:23 +0200 Subject: [PATCH] error if path contains space --- src/client/opamClientConfig.ml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/client/opamClientConfig.ml b/src/client/opamClientConfig.ml index 9f1571cde86..7d49545df1b 100644 --- a/src/client/opamClientConfig.ml +++ b/src/client/opamClientConfig.ml @@ -210,6 +210,13 @@ let opam_init ?root_dir ?strict ?solver = (* (i) get root dir *) let root = OpamStateConfig.opamroot ?root_dir () in + if Sys.win32 + (* if default, redirection will be handled by opam init, or should have + been handled *) + && (root_dir <> None || OpamStateConfig.E.root () <> None) + && OpamStd.String.contains_char (OpamFilename.Dir.to_string root) ' ' then + OpamConsole.error "You opam root directory contains a space, this may lead\ + to several malfunction... bzzz.... nooo💥"; (* (ii) load conf file and set defaults *) (* the init for OpamFormat is done in advance since (a) it has an effect on