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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use 3+ dots named directories instead of aliases #9309

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Mr-Ker
Copy link

@Mr-Ker Mr-Ker commented Oct 3, 2020

Standards checklist:

  • The PR title is descriptive.
  • The PR doesn't replicate another PR which is already open.
  • I have read the contribution guide and followed all the instructions.
  • The code follows the code style guide detailed in the wiki.
  • The code is mine or it's from somewhere with an MIT-compatible license.
  • The code is efficient, to the best of my ability, and does not waste computer resources.
  • The code is stable and I have tested it myself, to the best of my abilities.

Changes:

  • If a directory named ... (up to 6 dots) exists then changing directory should
    lead to a change to that directory, otherwise the corresponding alias should be
    used.

Resolves: #8344

Other comments:

This is my first pull request ever in github or to any open source project. 馃槉

This is only done if a directory with such a name exists.

Resolves: ohmyzsh#8344
@ohmyzsh ohmyzsh bot added Area: core Issue or PR related to core parts of the project Topic: alias Pull Request or issue regarding aliases labels Oct 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: core Issue or PR related to core parts of the project Topic: alias Pull Request or issue regarding aliases
Projects
Status: Backlog
Development

Successfully merging this pull request may close these issues.

cannot change to a directory named "..."
2 participants