Skip to content

gnome-terminal: add short/long options#21156

Open
nelsonfigueroa wants to merge 1 commit intomainfrom
gnome-terminal-updates
Open

gnome-terminal: add short/long options#21156
nelsonfigueroa wants to merge 1 commit intomainfrom
gnome-terminal-updates

Conversation

@nelsonfigueroa
Copy link
Member

Checklist

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • The page description(s) have links to documentation or a homepage.
  • The page(s) follow the content guidelines.
  • The page(s) follow the style guide.
  • The PR contains at most 5 new pages.
  • The PR is authored by me, or has been human-reviewed if it was created with AI or machine translation software.
  • The PR title conforms to the recommended templates.
  • Version of the command being documented (if known):
  • Reference issue: #

@github-actions github-actions bot added the translation edit Changes to an existing translation page(s). label Feb 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

translation edit Changes to an existing translation page(s).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants