Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors
В списке pgsql-hackers по дате отправления:
| От | Peter Eisentraut |
|---|---|
| Тема | Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors |
| Дата | |
| Msg-id | 117c1306-32fd-c82f-8d76-81c31a81ef88@2ndquadrant.com обсуждение |
| Ответы |
Re: [HACKERS] [GENERAL] Postgres 10 manual breaks links with anchors
|
| Список | pgsql-hackers |
On 10/16/17 03:19, Thomas Kellerer wrote: > I don't know if this is intentional, but the Postgres 10 manual started to use lowercase IDs as anchors in the manual. > > So, if I have e.g.: the following URL open in my browser: > > https://www.postgresql.org/docs/current/static/sql-createindex.html#sql-createindex-concurrently > > I cannot simply switch to an older version by replacing "current" with e.g. "9.5" because in the 9.5 manual the anchorwas all uppercase, and the URL would need to be: > > https://www.postgresql.org/docs/9.5/static/sql-createindex.html#SQL-CREATEINDEX-CONCURRENTLY > > Is this intentional? > > This also makes "cleaning" up links in e.g. StackOverflow that point to outdated versions of the manual a bit more cumbersome. Here is a patch that can be applied to PG 10 to put the upper case anchors back. The question perhaps is whether we want to maintain this patch indefinitely, or whether a clean break is better. -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
В списке pgsql-hackers по дате отправления:
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера