// ==UserScript==
// @name         Find User
// @namespace    http://tampermonkey.net/
// @version      0.3
// @description  You can use /user/ztrztr to find the user called "ztrztr"!
// @author       ztrztr
// @match        *://*.www.luogu.com.cn/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=luogu.com.cn
// @grant        none
// @downloadURL none
// ==/UserScript==

(function() {
    'use strict';
    var url = window.location.href;
    var res = url.split("/");
    if (res[3] == "user") {
        fetch('https://www.luogu.com.cn/api/user/search?keyword=' + res[4])
            .then(response => response.json())
            .then(data => {
            console.log(data.users[0]);
            var dataa = data.users[0]
            console.log(dataa.uid);
            if (data.users.length == 0) window.location.replace("https://www.luogu.com.cn/");
            if (res[4] != dataa.uid.split("#")[0]) {
                window.location.replace("https://www.luogu.com.cn/user/" + dataa.uid);
            }
        });
    }
    // Your code here...
})();