Skip to content

alr: add page and Spanish translation #16632

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

Merged
merged 9 commits into from
May 28, 2025
Merged

alr: add page and Spanish translation #16632

merged 9 commits into from
May 28, 2025

Conversation

rajayonin
Copy link
Contributor

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • The page(s) have at most 8 examples.
  • 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 title conforms to the recommended templates.
  • Version of the command being documented (if known): 2.0.1

@github-actions github-actions bot added new command Issues requesting creation of a new page or PRs adding a new page for a command. new translation PRs translating a page(s) from English to other languages. labels May 27, 2025
@tldr-bot
Copy link

Hello! I've noticed something unusual when checking this PR:

Is this intended? If so, just ignore this comment. Otherwise, please double-check the commits.

rajayonin and others added 4 commits May 28, 2025 09:29
Co-authored-by: José Antonio Verde <[email protected]>
Co-authored-by: Sebastiaan Speck <[email protected]>
Co-authored-by: Sebastiaan Speck <[email protected]>
Co-authored-by: Sebastiaan Speck <[email protected]>
@Managor
Copy link
Collaborator

Managor commented May 28, 2025

Please do not force push. It erases history.

@rajayonin
Copy link
Contributor Author

Please do not force push. It erases history.

I just rebased the branch so it stayed on top of main's HEAD, but ok, I won't do it again.

@Managor
Copy link
Collaborator

Managor commented May 28, 2025

It's nice to know what edits were made after what comments. If you want to update a branch, use the buttons that appear in the github UI.

@rajayonin
Copy link
Contributor Author

rajayonin commented May 28, 2025

If you want to update a branch, use the buttons that appear in the github UI.

I did use them, I selected the "Update with rebase" option.

@Managor
Copy link
Collaborator

Managor commented May 28, 2025

Ah, I see. I meant that Update Branch button that appears below the comment section here if the branch is outdated. I did't know other types existed.

Copy link
Collaborator

@Managor Managor left a comment

Choose a reason for hiding this comment

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

As I said earlier, this is not the correct syntax.

@rajayonin
Copy link
Contributor Author

As I said earlier, this is not the correct syntax.

Oh, I see it now. The other review confused me... So, as they're compulsory "enumerated" options (you have to select one or the other, but not both), you have to use the {{one|other}} format, right?

@Managor
Copy link
Collaborator

Managor commented May 28, 2025

Correct. {{[-h|--help]}} is sort of an extention of that. Programs have shortform and longform options that do the same exact thing. The [ ] inside tell the client that they can display either of these and the command is the same.

Copy link
Member

@MachiavelliII MachiavelliII left a comment

Choose a reason for hiding this comment

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

Thanks for your contribution!

@sebastiaanspeck sebastiaanspeck changed the title alr: add page alr: add page and Spanish translation May 28, 2025
@rajayonin
Copy link
Contributor Author

I don't know why the license/cla action is taking so long... the other times it ran it finished with no problems...

@MachiavelliII MachiavelliII requested a review from Managor May 28, 2025 20:48
@Managor Managor merged commit 51c8030 into tldr-pages:main May 28, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new command Issues requesting creation of a new page or PRs adding a new page for a command. new translation PRs translating a page(s) from English to other languages.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants