Skip to content
This repository has been archived by the owner on Jun 2, 2022. It is now read-only.

User home directory path doesn't use tilde #757

Closed
MikaelSmith opened this issue Mar 16, 2020 · 0 comments · Fixed by #760
Closed

User home directory path doesn't use tilde #757

MikaelSmith opened this issue Mar 16, 2020 · 0 comments · Fixed by #760
Assignees
@MikaelSmith
Labels
bug Something isn't working

Comments

@MikaelSmith
Copy link
Contributor

If I cd ~, I'd expect the prompt path to use ~ rather than the absolute path. I see

wash /Users/michaelsmith ❯ cd Documents
wash /Users/michaelsmith/Documents ❯

I'd expect to see

wash ~ ❯ cd Documents
wash ~/Documents ❯
@MikaelSmith MikaelSmith added the bug Something isn't working label Mar 16, 2020
@MikaelSmith MikaelSmith self-assigned this Mar 26, 2020
MikaelSmith added a commit to MikaelSmith/wash that referenced this issue Mar 26, 2020
@MikaelSmith
Replace HOME with tilde in shell prompt
113d65e 
Replace use of `realpath` with string substitution. If not in a Wash
directory tree, but we are in the HOME directory tree, replace `$HOME`
with `~`.

Fixes puppetlabs-toy-chest#757.

Signed-off-by: Michael Smith <michael.smith@puppet.com>
@MikaelSmith MikaelSmith mentioned this issue Mar 26, 2020
Merged
MikaelSmith added a commit to MikaelSmith/wash that referenced this issue Mar 26, 2020
@MikaelSmith
Replace HOME with tilde in shell prompt
efe83b5 
Replace use of `realpath` with string substitution. If not in a Wash
directory tree, but we are in the HOME directory tree, replace `$HOME`
with `~`.

Fixes puppetlabs-toy-chest#757.

Signed-off-by: Michael Smith <michael.smith@puppet.com>
MikaelSmith added a commit to MikaelSmith/wash that referenced this issue Mar 26, 2020
@MikaelSmith
Replace HOME with tilde in shell prompt
26ad412 
Replace use of `realpath` with string substitution. If not in a Wash
directory tree, but we are in the HOME directory tree, replace `$HOME`
with `~`.

Fixes puppetlabs-toy-chest#757.

Signed-off-by: Michael Smith <michael.smith@puppet.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@MikaelSmith MikaelSmith

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Replace HOME with tilde in shell prompt MikaelSmith/wash
1 participant
@MikaelSmith