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

Don't trim mailto: prefix when converting a Uri into a string #1438

Merged
merged 1 commit into from
Jun 10, 2024

Conversation

thomas-zahner
Copy link
Member

@thomas-zahner thomas-zahner commented Jun 10, 2024

Fixes #1436

So actually I think it's never necessary to remove the mailto: prefix. @mre tell me if you disagree. I assume that this was done for cosmetic purposes in the CLI output. But I even prefer to keep the scheme in the CLI output since it feels more correct and terminal emulators then detect the address as correct URL so that you can click on it to send a mail to that address using your email application. (noticed in Alacritty)

@mre mre merged commit 255164c into lycheeverse:master Jun 10, 2024
7 checks passed
@mre
Copy link
Member

mre commented Jun 10, 2024

Fine with me. Apologies if this caused any inconvenience.

@thomas-zahner
Copy link
Member Author

No problem 👍 just had to temporarily work around the removal by prefixing it with mailto: again 😄

@github-actions github-actions bot mentioned this pull request Oct 6, 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.

Converting Uri to Url string
2 participants