Visitar URL original

Edit button on https://jline.org documentation website has link to wrong GitHub MD source due to double /docs/docs/ · Issue #1309 · jline/jline3 · GitHub

Repository navigation

Edit button on https://jline.org documentation website has link to wrong GitHub MD source due to double /docs/docs/ #1309

Closed

opened

on May 28, 2025

E.g. on https://jline.org/docs/advanced/screen-clearing, when you that Edit this page link at the bottom, it goes to https://github.com/jline/jline3/edit/master/website/docs/docs/advanced/screen-clearing.md (which is wrong) instead of to the correct https://github.com/jline/jline3/edit/master/website/docs/advanced/screen-clearing.md (note the removal of the double extra docs/docs).

vorburger
added a commit that references this issue on May 28, 2025
Remove double `docs/docs` in edit links on jline.org (fixes jline#1309)
ec6a829
gnodet
closed this as completedin #1310 on Jul 4, 2025
pull
added a commit that references this issue on Jul 4, 2025
docs: Remove double `docs/docs` in edit links on jline.org (fixes jli…
df2e04a

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests