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.

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

clear: Move to common/ #2281

Merged
merged 1 commit into from
Sep 3, 2018
Merged

clear: Move to common/ #2281

merged 1 commit into from
Sep 3, 2018

Conversation

melgu
Copy link
Contributor

@melgu melgu commented Aug 31, 2018


  • The page (if new), does not already exist in the repo.

  • The page (if new), has been added to the correct platform folder:
    common/ if it's common to all platforms, linux/ if it's Linux-specific, and so on.

  • The page has 8 or fewer examples.

  • The PR is appropriately titled:
    <command name>: add page for new pages, or <command name>: <description of changes> for pages being edited.

  • The page follows the contributing guidelines.

@owenvoke owenvoke added the page edit Changes to an existing page(s). label Aug 31, 2018
@sbrl
Copy link
Member

sbrl commented Sep 1, 2018

Hey, thanks for this @melgu! Does Windows have this command too?

@melgu
Copy link
Contributor Author

melgu commented Sep 2, 2018

Yes. WSL does.
Update: PowerShell does as well.

@sbrl sbrl merged commit 3b0cdb5 into tldr-pages:master Sep 3, 2018
@Managor Managor mentioned this pull request Jan 29, 2025
11 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
page edit Changes to an existing page(s).
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants