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.

Sign up for GitHub

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

Jump to bottom

What does option coqidetop -main-channel stdfds do? #11296

Open
enjoysmath opened this issue Dec 16, 2019 · 3 comments
Open

What does option coqidetop -main-channel stdfds do? #11296

enjoysmath opened this issue Dec 16, 2019 · 3 comments
Labels
kind: documentation Additions or improvement to documentation. part: CoqIDE Issues and PRs related to CoqIDE or other IDE features of coq.
Projects
User documentation CoqIDE

Comments

@enjoysmath
Copy link

It's not documented under coqidetop --help.

Thanks.
@enjoysmath
Copy link
Author

This is not an issue anymore as I'm going to just modify Coqtop class which calls all this on its own (stolen from coq_jupyter project).

@Zimmi48
Copy link
Member

Zimmi48 commented Dec 17, 2019

If it's not documented, this issue should stay open even if it is not an issue for you anymore.

@Zimmi48 Zimmi48 reopened this Dec 17, 2019
@Zimmi48 Zimmi48 added kind: documentation Additions or improvement to documentation. part: CoqIDE Issues and PRs related to CoqIDE or other IDE features of coq. labels Dec 17, 2019
@gares
Copy link
Member

gares commented Dec 17, 2019

Stdfds stands for standard file descriptors, that is stdin/stdout.

@Zimmi48 Zimmi48 added this to Writing in User documentation May 4, 2020
@Alizter Alizter added this to To do in CoqIDE May 18, 2022
@Alizter Alizter moved this from Writing to CoqIDE in User documentation May 25, 2022
@Heersin Heersin mentioned this issue Mar 9, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: documentation Additions or improvement to documentation. part: CoqIDE Issues and PRs related to CoqIDE or other IDE features of coq.
Projects
CoqIDE
  
To do
User documentation
Status: No status
User documentation
  
CoqIDE
Milestone
No milestone
Development

No branches or pull requests
3 participants
@gares @Zimmi48 @enjoysmath