Add the following snippet at the bottom of ~/.zshrc file.
RPROMPT='[%D{%L:%M:%S}] '$RPROMPT
| #!/bin/bash | |
| # Copies certain kinds of known files and directories from a given Jenkins master directory | |
| # into a git repo, removing any old ones, adds 'em, commits 'em, pushes 'em. | |
| set -ex | |
| if [ $# -ne 3 ]; then | |
| echo usage: $0 jenkins_home git_repos_url git_repos_name | |
| exit 1 | |
| fi |
| DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE | |
| Version 2, December 2004 | |
| Copyright (C) 2011 Mathieu 'p01' Henri <http://www.p01.org/releases/> | |
| Everyone is permitted to copy and distribute verbatim or modified | |
| copies of this license document, and changing it is allowed as long | |
| as the name is changed. | |
| DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE |