NOTICE: By continued use of this site you understand and agree to the binding Terms of Service and Privacy Policy.
// ==UserScript== // @namespace https://kludge.guru/ // @name Redirect PostgreSQL.org docs to current version // @description Very useful when coming from elsewhere and ending up with docs some random ancient version. // @match https://www.postgresql.org/docs/* // @version 1.0 // @author virtulis // @license MIT // ==/UserScript== function maybeRedirect() { if (!document.referrer || document.referrer.indexOf('https://www.postgresql.org') === 0) { return; } const { pathname } = document.location; const match = pathname.match(/^\/docs\/[0-9\.]+\/(.*)$/); if (!match) { return; } const url = `/docs/current/${match[1]}`; const a = document.querySelector(`a[href="${url}"]`); if (!a) { return; } location.replace(url); } maybeRedirect();