pg_docs_bot
pg_docs_bot copied to clipboard
mchristofides
A browser extension (Firefox or Chrome) for getting to the current Postgres docs by default.
Thinking about a settings menu with this as an option. Use cases that I believe exist: * currently doing a big migration to a (now) non-current release, and cannot consider...
Great addon! Could the addon disable the URL bar query change (`pg-docs-bot-redirected`) and the notification in the bottom right (`Redirected by pg_docs_bot from`)? Instead like many addons do, the icon...
Some docs URLs use fragments. For example... https://www.postgresql.org/docs/current/datatype-numeric.html#DATATYPE-INT pg_docs_bot correctly redirects old versions of these to "current", but the search parameter containing the redirected URL is dropped, resulting in the...
Several specific pages already accounted for (so that they don't redirect): * recovery-config * app-createlang * app-droplang * indexcost * inherit * manage * failure * failure-disk-failed * programmer-client *...
Could be linked to from the hover box. Could try to annotate paragraphs with version numbers.
Metadata
Owner
Metadata
A browser extension (Firefox or Chrome) for getting to the current Postgres docs by default.