Jenkins Local Time

Jenkins Local Time Formatter

目前為 2015-10-06 提交的版本,檢視 最新版本

您需要先安裝使用者腳本管理器擴展,如 TampermonkeyGreasemonkeyViolentmonkey 之後才能安裝該腳本。

您需要先安裝使用者腳本管理器擴充功能,如 TampermonkeyViolentmonkey 後才能安裝該腳本。

您需要先安裝使用者腳本管理器擴充功能,如 TampermonkeyViolentmonkey 後才能安裝該腳本。

您需要先安裝使用者腳本管理器擴充功能,如 TampermonkeyUserscripts 後才能安裝該腳本。

你需要先安裝一款使用者腳本管理器擴展,比如 Tampermonkey,才能安裝此腳本

您需要先安裝使用者腳本管理器擴充功能後才能安裝該腳本。

(我已經安裝了使用者腳本管理器,讓我安裝!)

你需要先安裝一款使用者樣式管理器擴展,比如 Stylus,才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展,比如 Stylus,才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展,比如 Stylus,才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

(我已經安裝了使用者樣式管理器,讓我安裝!)

// ==UserScript==
// @name         Jenkins Local Time
// @namespace    http://[insert namespace]
// @version      0.1
// @description  Jenkins Local Time Formatter
// @license      MIT
// @author       You
// @match        http://[insert your jenkins domain here]/*
// @grant        none
// ==/UserScript==

var elements = document.getElementsByClassName('pane build-details');
for(var i = 0; i < elements.length; ++i) {
    var e = elements[i];
    var t = parseInt(e.getAttribute('time'));
    var d = new Date(t);
    
    var datestring = d.getDate()  + "-" + (d.getMonth()+1) + "-" + d.getFullYear() + " " + d.getHours() + ":" + d.getMinutes();
    e.children[0].innerText = d.toLocaleString();
}

var e = document.getElementsByClassName('build-caption page-headline');
if(e.length)
{
    var value = e[0].childNodes[1].nodeValue;
    var matches = new RegExp("([^\(]+\\()([^\)]+)(.*)").exec(value);
    var d = new Date(Date.parse(matches[2] + " UTC"));
    e[0].childNodes[1].nodeValue = matches[1] + d.toLocaleString() + matches[3];
}

var e = document.getElementsBySelector("#footer");
if(e.length == 2)
{
    var span = e[1].children[0];
    var value = span.childNodes[2].nodeValue;
    var matches = new RegExp("([^@]+ @ )([^\n\r]+)(.*)").exec(value);
    var d = new Date(Date.parse(matches[2]));
    span.childNodes[2].nodeValue = matches[1] + d.toLocaleString() + matches[3];   
}

var e = document.getElementsByClassName('page_generated');
if(e.length == 1)
{
    var value = e[0].innerText;
    var matches = new RegExp("(Page generated: )(.*)").exec(value);
    var d = new Date(Date.parse(matches[2] + " UTC"));
    e[0].innerText = matches[1] + d.toLocaleString();
}