Add Terminal Tips Documentation by micahcochran · Pull Request #2425 · pygments/pygments

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Merged

birkenfeld merged 3 commits intopygments:masterfrom

micahcochran:term-tips

May 7, 2023

Merged

Add Terminal Tips Documentation#2425

birkenfeld merged 3 commits intopygments:masterfrom

micahcochran:term-tips

Conversation

@micahcochran

Copy link

Contributor

Adds documentation to create aliases lessh and cath on the terminal.

Merging should close - Issue #2131.

Copy link

Member

@birkenfeld birkenfeld left a comment

Choose a reason for hiding this comment

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

Just a few formatting issues, then this should be good to go! Thanks!

micahcochran reacted with thumbs up emoji

@micahcochran

Copy link

Contributor Author

@birkenfeld Thank you for reviewing this PR.

I have made those updates in commit dc16d20.

@jeanas

Copy link

Contributor

jeanas commented

May 7, 2023

LGTM. I've added a commit to syntax-highlight the code samples as shell instead of Python :-)

@birkenfeld birkenfeld merged commit a7ccf61 into pygments:master

May 7, 2023

@Anteru Anteru added this to the 2.16.0 milestone

Aug 5, 2023

@Anteru Anteru added the A-docs

area: changes to documentation/docstrings

label

Aug 5, 2023

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@birkenfeld birkenfeld birkenfeld approved these changes

Assignees

No one assigned

Labels

A-docs

area: changes to documentation/docstrings

Projects

None yet

Milestone

2.16.0

Development

Successfully merging this pull request may close these issues.

4 participants

@micahcochran @jeanas @birkenfeld @Anteru