Redirect PostgreSQL.org docs to current version

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

이 스크립트를 설치하려면 Tampermonkey, Greasemonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey 또는 Userscripts와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 유저 스크립트 관리자 확장 프로그램이 필요합니다.

(이미 유저 스크립트 관리자가 설치되어 있습니다. 설치를 진행합니다!)

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

(이미 유저 스타일 관리자가 설치되어 있습니다. 설치를 진행합니다!)

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