prerak-proof

import re

def cms_to_inet(sym):
    splits = sym.split(' ', 2)
    if len(splits) == 1:
        return sym
    root, suffix = splits
    suffix = suffix.replace('PR', '-')
    suffix = suffix.replace('WD', '$')
    suffix = suffix.replace('WS', '+')

prerak-proof

prerak-proof

import hudson.tasks.*
import hudson.plugins.ws_cleanup.*

processGroup(Jenkins.instance)

def processGroup(itemGroup) {
  for(item in itemGroup.items) {
    if (item.class.simpleName == "Folder") {
      processGroup(item)
    } else {

prerak-proof

alias cleangit='git branch --merged=master | grep -v "master$" | xargs -r git branch -d'

function gitmaster() {
  git fetch -p || return 1
  git --no-pager log --oneline master..origin/master
  git pull --rebase origin master:master || return 1
  git checkout master || return 1
  cleangit
}

prerak-proof

processGroup(Jenkins.instance)

def processGroup(itemGroup) {
  itemGroup.items.each { j ->
    if (j.class.simpleName == "Folder") {
      processGroup(j)
    } else {
      if (j.supportsLogRotator()) {
        j.setBuildDiscarder(new hudson.tasks.LogRotator(365, 30, 365, 30))
        println(j)

prerak-proof

import jenkins.slaves.WorkspaceLocator
workspaceRoot = WorkspaceLocator.all()[0].getWorkspaceRoot(Jenkins.get())

processDir(workspaceRoot, Jenkins.instance)

def processDir(rootDir, holder) {
  rootDir.list().each { dir ->
    deleteIfInvalid(dir, holder.getItem(dir.name))
  }
}

prerak-proof

#!/bin/bash

SYS_ROOT=/mnt/c/Proof
WORK_ROOT=$SYS_ROOT/17a4-logs

# log files
CTIME=$(date "+%Y%m%d-%H%M%S")
LOGFILE=$WORK_ROOT/${CTIME}.log.txt

exec >> $LOGFILE 2>&1

prerak-proof