Make directory filtering relative to $HOME

[ellie]

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.

[atuin-bot]

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

[offbyone]

Interesting question; I could also see a use for this, but I'm not sure what the implications would be. I see two paths:

1. Atuin has some feature for mapping a known set of path prefixes as "common"; when searching for cwd we search for all common prefixes.
2. Atuin's store is modified to replace the user's home directory with a marker (~) when writing the path

In the case of (2) it's not clear what needs to happen with older entries, or if they need to be updated in the DB or just on local sync.