pg_docs_bot
Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).
What is pg_docs_bot?
pg_docs_bot is a Chrome extension developed by michristofides, and its main feature is "Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).".
Extension Screenshots
Download pg_docs_bot Extension CRX File
Download pg_docs_bot extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
When you search for Postgres related things, an old version of the documentation is sometimes indexed. Similarly, some answers on sites like Stack Overflow link to old versions of the documentation. pg_docs_bot helps you avoid the annoyance of having to click "Current" when you get there, the frustration of having read the whole page before realising it was an old version, or even not realising that it was an out of date version. Features: * Redirects links to the "current" version * After redirecting, displays a notice (including a link to the page you were redirected from) * Avoids redirecting some deprecated features (to avoid 404s) * Doesn't redirect when coming from another page in the docs, so you can still check old versions (the main problem with generic redirectors) Limitations: * Only supports redirecting to "current" * Works for the English language docs * Works for version 7.0 links upwards * Chrome extension works on a limited list of search engines and stack exchange sites (to avoid needingpermission)
Extension Basic Information
Name | pg_docs_bot |
ID | hkbfkapgdfedgidpfbhlogecohcnaeod |
Official URL | https://chromewebstore.google.com/detail/pgdocsbot/hkbfkapgdfedgidpfbhlogecohcnaeod |
Description | Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features). |
File Size | 8.48 KB |
Installation Count | 36 |
Current Version | 1.0.2 |
Last Updated | 2023-08-11 |
Publish Date | 2020-05-10 |
Rating | 5.00/5 Total 1 Ratings |
Developer | michristofides |
[email protected] | |
Payment Type | free |
Extension Website | https://github.com/mchristofides/pg_docs_bot/ |
Help Page URL | https://github.com/mchristofides/pg_docs_bot/issues/ |
Supported Languages | en-GB |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "pg_docs_bot", "version": "1.0.2", "description": "Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).", "homepage_url": "https:\/\/github.com\/mchristofides\/pg_docs_bot", "manifest_version": 2, "icons": { "48": "slonik_in_glasses_48.png", "128": "slonik_in_glasses_128.png" }, "permissions": [ "webRequest", "webRequestBlocking", "https:\/\/www.postgresql.org\/docs\/*", "https:\/\/*.google.com\/*", "https:\/\/*.duckduckgo.com\/*", "https:\/\/*.ecosia.org\/*", "https:\/\/*.bing.com\/*", "https:\/\/stackoverflow.com\/*", "https:\/\/dba.stackexchange.com\/*", "https:\/\/search.brave.com\/*" ], "content_scripts": [ { "matches": [ "https:\/\/www.postgresql.org\/docs\/*" ], "js": [ "pgdocsbotnotice.js" ] } ], "background": { "scripts": [ "redirectdocs.js" ] } } |