Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Opamroot redirect #22

Closed
wants to merge 5 commits into from
Closed

Opamroot redirect #22

wants to merge 5 commits into from

Conversation

dra27
Copy link
Owner

@dra27 dra27 commented Jun 9, 2024

No description provided.

@dra27 dra27 changed the base branch from revised-windows-init to opamroot-redirect-base June 9, 2024 10:01
@dra27 dra27 force-pushed the opamroot-redirect branch from d3eeba2 to f3c0b69 Compare June 9, 2024 10:28
Comment on lines 1678 to 1680
let collision =
(* UTF-8 <U+0020, U+1F4A5> (Collision emoji) *)
if OpamConsole.color () then " \xF0\x9F\x92\xA5" else ""
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be defined in OpamConsole

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Blimey, yes - see 725e63c!

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(also verified that that means the running opam init in conhost correctly doesn't display anything)

"\n\
%s\n\
\n\
Many parts of the OCaml ecosystem do not presently work correctly\n\
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

maybe a less ocaml centric message ?

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see where you're coming from, but we do already have "opam and the OCaml ecosystem in general require various Unix tools" in the previous messages?

Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

true

rjbou and others added 4 commits June 10, 2024 12:02
Used to indicate opam root redirection
It is needed for Cygwin installation, that doesn't handle paths with
space.
At init, detection and redirection are done, afterwards opam always load
redirected opam root.
Original root directory is stored in
`OpamStateConfig.!r.original_root_dir`.

Co-authored-by: David Allsopp <[email protected]>
@dra27 dra27 force-pushed the opamroot-redirect branch from c2d6f0d to 839acdb Compare June 10, 2024 11:02
@dra27 dra27 changed the base branch from opamroot-redirect-base to master June 10, 2024 11:04
@dra27 dra27 closed this Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants