atuin
atuin copied to clipboard
Make directory filtering relative to $HOME
Discussion: https://forum.atuin.sh/t/make-directory-filtering-relative-to-user-home/128
This means that when filtering by directory
- /home/ellie/foo
and
- /Users/ellie/foo
Will show as the "same" on two different systems.
This issue has been mentioned on Atuin Community. There might be relevant details there:
https://forum.atuin.sh/t/make-directory-filtering-relative-to-user-home/128/2