Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).

Latest Version

Version
1.0.2
Update
August 11, 2023
Size
8.48KiB
Developer
Category
Users
33
Rating
5 ★
Manifest Version
2
Web Store Status
Languages Support
English (UK)
See more
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/*
See more

pg_docs_bot Extension

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 needing permission)
Read more

Source 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"] }}
Read more

How to download and manually install pg_docs_bot extension for Chrome

Looking for a way to install pg_docs_bot extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install pg_docs_bot extensions manually, this article outlines two simple methods to effortlessly install pg_docs_bot extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download pg_docs_bot extension and manually install through Drag &Drop

If you ever need to manually install a pg_docs_bot extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the pg_docs_bot Extension by clicking the "Download CRX" button on the website.

Look for the pg_docs_bot extension you wish to install. Go to the website and download the pg_docs_bot extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for pg_docs_bot extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the pg_docs_bot extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download pg_docs_bot extension for Chrome and install in Developer Mode

This is another method to install pg_docs_bot extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the pg_docs_bot extension file

Select and download the pg_docs_bot extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the pg_docs_bot extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your pg_docs_bot extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the pg_docs_bot extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install pg_docs_bot extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

Forks Diff Counter for GitHub Extension · Developer Tools 33 2 ★ 12.4KiB

icon

Github JSON Editor Extension · Productivity 33 0 ★ 517KiB

icon

Git Kanban Enhanced Self Hosted Extension · Productivity 33 1 ★ 191KiB

icon

GitHub Search Extension Extension · Productivity 33 1 ★ 722KiB

icon

GitHub inline code color editor Extension · Developer Tools 33 1 ★ 19.59KiB

icon

Status of Github Extension · Developer Tools 33 1 ★ 103KiB

icon

GitLab Web Debugger Extension · Developer Tools 33 0 ★ 51.38KiB

icon

Postgres Docs Redirect Extension · Developer Tools 33 2 ★ 23.15KiB

icon

GitHub PR images comparer Extension · Developer Tools 33 1 ★ 13.65KiB

icon

Offline CodeIgniter Extension · Developer Tools 33 1 ★ 2.2MiB

icon

Full Width Github Extension · Developer Tools 33 2 ★ 316KiB

icon

QuickGitbook for Github Extension · Developer Tools 33 1 ★ 12.18KiB

icon

Github Stars Extension · Developer Tools 33 2 ★ 19.28KiB

icon

GitHub: Better Line Counts Extension · Productivity 33 4 ★ 123KiB

icon

github magic! Extension · Developer Tools 33 2 ★ 42.05KiB

icon

JiGit - Jira issue title to branch name Extension · Developer Tools 33 2 ★ 19.97KiB

icon

Gitlab Swagger Utilities Extension · Developer Tools 33 6 ★ 331KiB

icon

Odoo attendance Extension · Accessibility 33 0 ★ 56.66KiB

icon

Repositree Extension · Developer Tools 33 8 ★ 314KiB

icon

Github Swagger UI Plugin Extension · Developer Tools 33 2 ★ 395KiB

icon

LogoSwap: Twitter X Logo Changer Extension · Fun 33 8 ★ 90.88KiB

icon

Notifications Preview for GitHub Extension · Productivity 33 6 ★ 40.9KiB

icon

Sheets Genie Extension · Productivity 33 8 ★ 77.44KiB

icon

AWS Console Fixes Extension · Developer Tools 33 3 ★ 264KiB

User reviews

icon

Eric Tenza (ID: 000000188b3e08d0) Voted 5 ★ - Updated 01/22/2021 So tired of searching something in Google, and finding a bunch of links to... 9.3 documentation. It's a minor hassle to have to remember to opt-in to the current documentation, and this extension removes that effort entirely.