Some script used in my jenkins experiences.