From e58aa486cdb6f8426355417cb2c8c4ba6522fb23 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Wed, 16 Jun 2021 21:18:43 +0200
Subject: User script to redirect pkg.go.dev to godocs.io

---
 pkg.go.dev-to-godoc.user.js | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 pkg.go.dev-to-godoc.user.js

diff --git a/pkg.go.dev-to-godoc.user.js b/pkg.go.dev-to-godoc.user.js
new file mode 100644
index 0000000..422944a
--- /dev/null
+++ b/pkg.go.dev-to-godoc.user.js
@@ -0,0 +1,27 @@
+// ==UserScript==
+// @name Pkg.go.dev to Godoc
+// @description Redirect pkg.go.dev pages to godocs.io
+// @namespace com.teddywing
+// @version 0.0.1
+// @match https://pkg.go.dev/*
+// ==/UserScript==
+
+// Copyright (c) 2021  Teddy Wing
+//
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this program. If not, see <https://www.gnu.org/licenses/>.
+
+
+window.location.assign(
+	window.location.href.replace('pkg.go.dev', 'godocs.io')
+);
-- 
cgit v1.2.3