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

Update command-line-interface.md #50605

Closed
wants to merge 1 commit into from

Conversation

Jay-sanjay
Copy link
Contributor

I have mentioned the missing argument in Command-line Interface page.

I have mentioned the missing argument  in Command-line Interface page.
@Jay-sanjay
Copy link
Contributor Author

Sir I have made the changes please check if it could be merged .

@ViralBShah ViralBShah added the domain:docs This change adds or pertains to documentation label Jul 20, 2023
@prbzrg
Copy link
Contributor

prbzrg commented Jul 20, 2023

Closes #50588

@Jay-sanjay Jay-sanjay closed this Aug 6, 2023
@prbzrg
Copy link
Contributor

prbzrg commented Oct 19, 2023

Why didn't this merge?

@Jay-sanjay Jay-sanjay reopened this Oct 20, 2023
@Jay-sanjay
Copy link
Contributor Author

Jay-sanjay commented Oct 20, 2023

@prbzrg I guess, I closed it by mistake earlier. So can it be merged now

@PallHaraldsson
Copy link
Contributor

I'm ok with this merged (as is). The MemBalancer is no longer in, that I hoped would make this redundant (maybe later when back in). I read "Forces garbage collection" as doing that ensuring staying within limit, but it only means does the GC, and it might still end up over the limit.

@prbzrg
Copy link
Contributor

prbzrg commented Oct 20, 2023

It's a copy from

julia/doc/man/julia.1

Lines 225 to 227 in ef3bf66

--heap-size-hint=<size>
Forces garbage collection if memory usage is higher than that value. The memory hint might be
specified in megabytes (500M) or gigabytes (1.5G)

so any changes should apply to both.

@PallHaraldsson
Copy link
Contributor

The just merge as is. It's correct, I made a review comment about it seemingly incorrect, but I was wrong. I was hoping we don't need this hint and educating users of it, and hopefully it will become redundant.

@Jay-sanjay
Copy link
Contributor Author

bump.

@fingolfin
Copy link
Contributor

Duplicate of PR #50480

@fingolfin fingolfin closed this Feb 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
domain:docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants