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

Add `stack hoogle --server` command #2310

Closed
chrisdone opened this issue Jun 27, 2016 · 6 comments
Closed

Add `stack hoogle --server` command #2310

chrisdone opened this issue Jun 27, 2016 · 6 comments

Comments

@chrisdone
Copy link
Member

@chrisdone chrisdone commented Jun 27, 2016

Which would run stack hoogle -- --server --local. --local is needed to be able to click links to local files.

@ndmitchell
Copy link
Contributor

@ndmitchell ndmitchell commented Jun 27, 2016

I wonder if Hoogle should launch a web browser on --server, and then when the web browser disappears it could close the server. Maybe as a stack hoogle --launch? I'm quite happy to adjust the semantics/API of Hoogle to make this better for stack users.

@chrisdone
Copy link
Member Author

@chrisdone chrisdone commented Jun 27, 2016

It could be a handy shortcut. The only reason you start the server is to see the web page after all.

@ndmitchell
Copy link
Contributor

@ndmitchell ndmitchell commented Jun 27, 2016

Ticket raised at ndmitchell/hoogle#175.

@jhance
Copy link

@jhance jhance commented Jul 17, 2016

Small correction, I think it should actually be stack hoogle -- server --local.

@SkyWriter SkyWriter mentioned this issue Mar 23, 2018
3 of 3 tasks complete
@fosskers
Copy link
Contributor

@fosskers fosskers commented May 2, 2018

Can this be closed?

@ndmitchell
Copy link
Contributor

@ndmitchell ndmitchell commented May 2, 2018

stack hoogle -- server --local works today so I think everything is good.

@ndmitchell ndmitchell closed this May 2, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
4 participants
You can’t perform that action at this time.