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

raku --doc should get a pager #248

Open
JJ opened this issue May 7, 2020 · 7 comments
Open

raku --doc should get a pager #248

JJ opened this issue May 7, 2020 · 7 comments

Comments

@JJ
Copy link
Contributor

JJ commented May 7, 2020

Carried over from Raku/old-issue-tracker#2522, a request for a pager for raku --doc output. Right now it simply prints everything to the console.

@JJ JJ assigned jnthn May 7, 2020
@Altai-man
Copy link
Member

Yes.
This is not a thing to discuss, but a thing to implement & test.

@AlexDaniel
Copy link
Member

Yes.

@AlexDaniel AlexDaniel transferred this issue from Raku/problem-solving May 7, 2020
@AlexDaniel AlexDaniel changed the title Should raku --doc get a pager? raku --doc should get a pager May 7, 2020
@JJ
Copy link
Contributor Author

JJ commented May 7, 2020

All for it, too!

@JJ
Copy link
Contributor Author

JJ commented May 7, 2020

But wait. Why did you move it to this repo?

@vrurg
Copy link
Contributor

vrurg commented May 7, 2020

I'm not so sure. Sounds kinda right, but to my view it's rather something an external utility like p6doc must do. Basically, the only two formats asking for a pager are text and man. HTML, Latex, Markdown? There could a --pager option for that purpose. But --doc itself must only render.

BTW, there is Pod::To::Pager out there.

@JJ
Copy link
Contributor Author

JJ commented May 7, 2020

raku --doc is purely Rakudo; it can call other things like Pod::To::HTML, but in that case rakudo can't do a thing about it. So I would say either it stays in problem-solving or goes to Rakudo (and others)

@AlexDaniel
Copy link
Member

Oh! My mistake then.

@lizmat lizmat transferred this issue from Raku/doc Dec 1, 2020
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

No branches or pull requests

5 participants