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

Copy path of executable to clipboard #177

Merged
merged 1 commit into from
Aug 15, 2017

Conversation

justjoheinz
Copy link
Contributor

Relates to #138.
Copy the path of :exec expr to the clipboard and present a atom notification.
This solution is not ideal, but I could not find a comint buffer for atom.

Relates to idris-hackers#138.
Copy the path of `:exec expr` to the clipboard and present a atom notification.
This solution is not ideal, but I could not find a comint buffer for atom.
@david-christiansen
Copy link
Member

Could something like https://atom.io/packages/script-runner be used to run the executable?

@justjoheinz
Copy link
Contributor Author

Thank you @david-christiansen - This looks promising, I had a look at various packages in different states of mayhem. I will see if I can get this to work.

@justjoheinz
Copy link
Contributor Author

ioquatix/script-runner#77
I check with the folks of script-runner whether they are willing to expose their API as a service.

@melted melted merged commit 7a16501 into idris-hackers:master Aug 15, 2017
@melted
Copy link
Contributor

melted commented Aug 15, 2017

Thanks!

@justjoheinz I invited you as a member of idris-hackers so you can merge good stuff yourself

@melted
Copy link
Contributor

melted commented Aug 15, 2017

And I really should make a release. I just have to fix the async stuff for Atom 1.19.

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.

3 participants