FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Enable copy button for shell sessions and consoles by hugovk · Pull Request #295 · python/python-docs-theme · GitHub

Repository navigation

Enable copy button for shell sessions and consoles - #295

Merged
hugovk merged 2 commits into
python:mainfrom
hugovk:copybutton-shell
Feb 27, 2026
Merged

hugovk merged 2 commits into
python:mainfrom
hugovk:copybutton-shell

Conversation

hugovk commented Feb 6, 2026 •
edited by github-actions Bot
Loading

Copy link
Copy Markdown
Member

StanFromIreland left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

This doesn’t seem to work for sh, e.g. no button appears for these.

hugovk commented Feb 6, 2026

Copy link
Copy Markdown
Member Author

They're not sessions with prompts, but good idea, it's useful to have them copyable as well. Updated!

StanFromIreland left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

LGTM

hugovk merged commit 5d1ce7b into python:main Feb 27, 2026
14 checks passed
hugovk deleted the copybutton-shell branch February 27, 2026 08:47
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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.

Implement copybutton for the shell session

2 participants


Back | FazBrowse Home | New Git URL