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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Deduplicate session names for repos and bookmarks #105

Merged
merged 1 commit into from
Jun 30, 2024

Conversation

petersimonsson
Copy link
Contributor

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
8 checks passed
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