nhojpatrick

#!/bin/bash

set -e

if [ $# -eq 0 ]; then
  echo "USAGE: $0 plugin1 plugin2 ..."
  exit 1
fi

plugin_dir=/var/lib/jenkins/plugins

nhojpatrick

#!/usr/bin/env bash

set -e
set -o pipefail

plugin_repo_url="http://updates.jenkins-ci.org/download/plugins"
plugin_dir="/var/lib/jenkins/plugins"
include_optionals=false

showUsage() {

nhojpatrick

#!/bin/bash
# playdeb builds a debian package of the play framework. playdeb downloads
# the playframework by itself. You run it by
#   playdeb.sh <version> <maintainer>
# Example:
#   playdeb.sh 1.2.3 "Denny Colt <d.colt@eisner.qcg>"
#
# The script has been tested with version 1.2.3, 1.2.5.3.

if [ -z $1 ]