distrobox-*: add short/long options

[nelsonfigueroa]

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.

[emmanuel-ferdman]

I don't see the -n|--name option in the docs/repo. Does it actually exist, or is this a bug in the English version? It looks like it should be:

distrobox-stop {{container_name}} {{[-Y|--yes]}}

[Managor]

Interesting. Looking at the documentation distrobox supports both distrobox stop and distrobox-stop So the note in the base page that distrobox isn't a command, but a set of commands isn't accurate https://github.com/tldr-pages/tldr/blob/main/pages/linux/distrobox.md
I'll add it to #18255

[tldr-bot]

Hello! I've noticed something unusual when checking this PR at commit
59e9dd9dedfba831e52c420370aafcc21c68edcb:

• The page pages.pt_BR/linux/distrobox-export.md is outdated, based on number of header lines, compared to the English page.
• The page pages.pt_BR/linux/distrobox-stop.md is outdated, based on number of header lines, compared to the English page.
• The page pages.pt_BR/linux/distrobox-upgrade.md is outdated, based on number of header lines, compared to the English page.

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