Skip to content

Remove url.readline #152

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

Closed
wants to merge 2 commits into from
Closed

Remove url.readline #152

wants to merge 2 commits into from

Conversation

petk
Copy link
Member

@petk petk commented Sep 14, 2024

This URL is being removed from the docs in favor of the libedit library, a non-GPL replacement for the GNU Readline library.

This URL is being removed from the docs in favor of the libedit library,
a non-GPL replacement for the GNU Readline library.
@petk petk mentioned this pull request Sep 14, 2024
6 tasks
@cmb69
Copy link
Member

cmb69 commented Sep 14, 2024

Maybe wait with merging until at least some of the translations have been updated.

@philip
Copy link
Member

philip commented Feb 25, 2025

The entity is still used in reference/readline/setup.xml, so instead of removing the entity definition consider using a different entity in reference/readline/setup.xml?

@Girgias Girgias closed this May 20, 2025
@Girgias Girgias reopened this May 20, 2025
@Girgias
Copy link
Member

Girgias commented May 20, 2025

This seems to not even work for doc-en, thus closing.

@Girgias Girgias closed this May 20, 2025
@petk petk deleted the patch-readline branch May 20, 2025 22:15
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.

4 participants