您需要先安装一个扩展,例如 篡改猴、Greasemonkey 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 Userscripts ,之后才能安装此脚本。
您需要先安装一款用户脚本管理器扩展,例如 Tampermonkey,才能安装此脚本。
您需要先安装用户脚本管理器扩展后才能安装此脚本。
修改H3C的eos日志字体为等宽字体
// ==UserScript== // @name H3C eos日志格式 // @namespace http://tampermonkey.net/ // @version 1.3 // @description 修改H3C的eos日志字体为等宽字体 // @author z404p // @match *://eos.h3c.com/project/logs* // @match *://eos-ts.h3c.com/project/logs* // @icon https://www.google.com/s2/favicons?sz=64&domain=greasyfork.org // @grant GM_log // @license MIT // ==/UserScript== (function() { 'use strict'; var t = setInterval(function(){ if(document.getElementById("loghtml")){ var elementStyle = document.getElementById("loghtml").style elementStyle['font-family'] = 'Consolas' elementStyle['letter-spacing'] = '0' clearInterval(t); } }, 100); var pNum=0 var t2 = setInterval(function(){ if(document.getElementById("loghtml")){ var element = document.getElementById("loghtml") if(pNum !== element.children.length){ console.log(element.children.length) pNum = element.children.length editChildren(element) } } }, 100); function editChildren(element){ for (let i = 0; i < element.children.length; i++) { var children = element.children[i]; children.style['margin-bottom'] = '5px' children.style['word-break'] = 'break-word' if(children.innerHTML.includes(' ERROR')){ children.style.color = 'red' }else if(children.innerHTML.includes(' WARN')){ children.style.color = '#92d900' }else if(children.innerHTML.includes(' DEBUG')){ children.style.color = '#959595' } } } })();