-
-
Notifications
You must be signed in to change notification settings - Fork 1
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 results as Markdown feature #24
Labels
enhancement
New feature or request
Comments
Ideally this would include copying permalinks to the source code on GitHub, but I don't currently have enough information to calculate those since the plugin doesn't have a way to know which GitHub repo (and which exactly SHA1 hash) the code it is searching refers to. |
If this is GitHub flavored markdown I can do this:
Renders as:
|
Maybe the options are copy as plaintext and copy as GitHub flavored markdown. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I often find myself using this tool to find examples of something that needs to be changed - so being able to copy and paste the results of a search into a GitHub issue as markdown would be really useful.
Example where I could have benefited from this: simonw/datasette#1432 (comment)
The text was updated successfully, but these errors were encountered: