Skip to content

Conversation

@petersimonsson
Copy link
Collaborator

Improve the deduplication of session names to work for bookmarks as well as repos. Also make it work when showing the full path in the picker. The deduplication also changes the name for all duplicate session names to get similar names for all conflicting session names.

fixes #26

Improve the deduplication of session names to work for bookmarks as well
as repos. Also make it work when showing the full path in the picker.
The deduplication also changes the name for all duplicate session names
to get similar names for all conflicting session names.

fixes jrmoulton#26
@jrmoulton jrmoulton merged commit 55c3563 into jrmoulton:main Jun 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

New session not being created on dirname clashes

2 participants