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.

Sign up for GitHub

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

Jump to bottom

doc/terminals: add putty and sort terminals #20611

Merged
merged 3 commits into from
Apr 23, 2024
Merged

doc/terminals: add putty and sort terminals #20611

merged 3 commits into from
Apr 23, 2024

Conversation

krzysztof-cabaj
Copy link
Contributor

Contribution description

This PR adds putty terminal to the list (very convenient in the Windows ;) ) and sort all terminal programs alphabetically.

Testing procedure

Generate documentation and see if everything is OK.

make doc
xdg-open doc/doxygen/html/terminal-programs.html

Issues/PRs references

PR #20493

@github-actions github-actions bot added the Area: doc Area: Documentation label Apr 23, 2024
@benpicco benpicco added Type: enhancement The issue suggests enhanceable parts / The PR enhances parts of the codebase / documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels Apr 23, 2024
@riot-ci
Copy link

riot-ci commented Apr 23, 2024

Murdock results

✔️ PASSED

b443c70 doc/terminals: add to putty TOC link

Success Failures Total Runtime
1 0 1 01m:09s

Artifacts

@benpicco benpicco added this pull request to the merge queue Apr 23, 2024
Merged via the queue into RIOT-OS:master with commit b1552c5 Apr 23, 2024
30 checks passed
@mguetschow mguetschow added this to the Release 2024.07 milestone Jul 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Teufelchen1 Teufelchen1 Teufelchen1 left review comments

@benpicco benpicco benpicco approved these changes

@aabadie aabadie Awaiting requested review from aabadie aabadie is a code owner

@jia200x jia200x Awaiting requested review from jia200x jia200x is a code owner

Assignees
No one assigned
Labels
Area: doc Area: Documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs Type: enhancement The issue suggests enhanceable parts / The PR enhances parts of the codebase / documentation
Projects
None yet
Milestone
Release 2024.07
Development

Successfully merging this pull request may close these issues.
5 participants
@krzysztof-cabaj @riot-ci @benpicco @Teufelchen1 @mguetschow