☰

Redirect PostgreSQL.org docs to current version

Very useful when coming from elsewhere and ending up with docs some random ancient version.

Nasıl kurarım

Bu betiği kurabilmeniz için Tampermonkey, Greasemonkey ya da Violentmonkey gibi bir kullanıcı betiği eklentisini kurmanız gerekmektedir.

Bu betiği yüklemek için Tampermonkey gibi bir uzantı yüklemeniz gerekir.

Bu betiği kurabilmeniz için Tampermonkey ya da Violentmonkey gibi bir kullanıcı betiği eklentisini kurmanız gerekmektedir.

Bu betiği kurabilmeniz için Tampermonkey ya da Userscripts gibi bir kullanıcı betiği eklentisini kurmanız gerekmektedir.

Bu betiği indirebilmeniz için ayrıca Tampermonkey gibi bir eklenti kurmanız gerekmektedir.

Bu komut dosyasını yüklemek için bir kullanıcı komut dosyası yöneticisi uzantısı yüklemeniz gerekecek.

(Zaten bir kullanıcı komut dosyası yöneticim var, kurmama izin verin!)

Nasıl kurarım

Bu stili yüklemek için Stylus gibi bir uzantı yüklemeniz gerekir.

Bu stili yüklemek için Stylus gibi bir uzantı kurmanız gerekir.

Bu stili yükleyebilmek için Stylus gibi bir uzantı yüklemeniz gerekir.

Bu stili yüklemek için bir kullanıcı stili yöneticisi uzantısı yüklemeniz gerekir.

Bu stili yüklemek için bir kullanıcı stili yöneticisi uzantısı kurmanız gerekir.

Bu stili yükleyebilmek için bir kullanıcı stili yöneticisi uzantısı yüklemeniz gerekir.

(Zateb bir user-style yöneticim var, yükleyeyim!) 

// ==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
// ==/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();