diff options
| author | Ruben Beltran del Rio <git@r.bdr.sh> | 2025-03-06 20:48:44 +0100 |
|---|---|---|
| committer | Ruben Beltran del Rio <git@r.bdr.sh> | 2025-03-06 20:48:44 +0100 |
| commit | 20bac80f47648f72622b11aeddb3db4961f1bbad (patch) | |
| tree | fe23637e67908949498020dc0f9d99ff75e133d8 /src | |
| parent | 2203fe7010a0342e48668e1f1542acd1a89846fb (diff) | |
Diffstat (limited to 'src')
| -rw-r--r-- | src/html_renderer.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/html_renderer.rs b/src/html_renderer.rs index 5251d0a..b81db9e 100644 --- a/src/html_renderer.rs +++ b/src/html_renderer.rs @@ -104,7 +104,7 @@ fn line_content(line: &GeminiLine) -> String { let processed_url = if !url.starts_with("gemini:") && path .extension() - .map_or(false, |ext| ext.eq_ignore_ascii_case("gmi")) + .is_some_and(|extension| extension.eq_ignore_ascii_case("gmi")) { url.replace(".gmi", ".html") } else { |