diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2023-03-10 07:47:04 +0100 |
---|---|---|
committer | Conrad Kostecki <conikost@gentoo.org> | 2023-03-15 00:00:51 +0100 |
commit | 7a3e78d8ddaf647b605f3d9235c6d7efadf869b0 (patch) | |
tree | 47a5ed934c70ecd9a7c1e36b508b2bee2bbd565c /dev-util | |
parent | media-libs/jbig2enc: remove unused patch (diff) | |
download | gentoo-7a3e78d8ddaf647b605f3d9235c6d7efadf869b0.tar.gz gentoo-7a3e78d8ddaf647b605f3d9235c6d7efadf869b0.tar.bz2 gentoo-7a3e78d8ddaf647b605f3d9235c6d7efadf869b0.zip |
dev-util/jenkins-bin: remove unused files
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/30040
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'dev-util')
-rw-r--r-- | dev-util/jenkins-bin/files/jenkins-bin-r2.init | 52 | ||||
-rw-r--r-- | dev-util/jenkins-bin/files/jenkins-bin-r3.service | 11 | ||||
-rw-r--r-- | dev-util/jenkins-bin/files/jenkins-bin.confd | 62 |
3 files changed, 0 insertions, 125 deletions
diff --git a/dev-util/jenkins-bin/files/jenkins-bin-r2.init b/dev-util/jenkins-bin/files/jenkins-bin-r2.init deleted file mode 100644 index 93d4d5f7e687..000000000000 --- a/dev-util/jenkins-bin/files/jenkins-bin-r2.init +++ /dev/null @@ -1,52 +0,0 @@ -#!/sbin/openrc-run - -depend() { - need net - use dns logger mysql postgresql -} - -checkconfig() { - if [ ! -n "$JENKINS_HOME" ] ; then - eerror "JENKINS_HOME not configured" - return 1 - fi - if [ ! -d "$JENKINS_HOME" ] ; then - checkpath -q -d -o jenkins:jenkins -m 0755 "$JENKINS_HOME" || return 1 - fi - return 0 -} - -start() { - checkconfig || return 1 - - JAVA_HOME=`java-config --jre-home` - COMMAND=$JAVA_HOME/bin/java - - JAVA_PARAMS="$JENKINS_JAVA_OPTIONS -DJENKINS_HOME=$JENKINS_HOME -jar $JENKINS_WAR" - - # Don't use --daemon here, because in this case stop will not work - PARAMS="--logfile=/var/log/jenkins/jenkins.log" - [ -n "$JENKINS_PORT" ] && PARAMS="$PARAMS --httpPort=$JENKINS_PORT" - [ -n "$JENKINS_DEBUG_LEVEL" ] && PARAMS="$PARAMS --debug=$JENKINS_DEBUG_LEVEL" - [ -n "$JENKINS_HANDLER_STARTUP" ] && PARAMS="$PARAMS --handlerCountStartup=$JENKINS_HANDLER_STARTUP" - [ -n "$JENKINS_HANDLER_MAX" ] && PARAMS="$PARAMS --handlerCountMax=$JENKINS_HANDLER_MAX" - [ -n "$JENKINS_HANDLER_IDLE" ] && PARAMS="$PARAMS --handlerCountMaxIdle=$JENKINS_HANDLER_IDLE" - [ -n "$JENKINS_ARGS" ] && PARAMS="$PARAMS $JENKINS_ARGS" - - if [ "$JENKINS_ENABLE_ACCESS_LOG" = "yes" ]; then - PARAMS="$PARAMS --accessLoggerClassName=winstone.accesslog.SimpleAccessLogger --simpleAccessLogger.format=combined --simpleAccessLogger.file=/var/log/jenkins/access_log" - fi - - ebegin "Starting ${SVCNAME}" - start-stop-daemon --start --quiet --background \ - --make-pidfile --pidfile $JENKINS_PIDFILE \ - --user ${JENKINS_USER} \ - --exec "${COMMAND}" -- $JAVA_PARAMS $PARAMS - eend $? -} - -stop() { - ebegin "Stopping ${SVCNAME}" - start-stop-daemon --stop --quiet --pidfile $JENKINS_PIDFILE - eend $? -} diff --git a/dev-util/jenkins-bin/files/jenkins-bin-r3.service b/dev-util/jenkins-bin/files/jenkins-bin-r3.service deleted file mode 100644 index 520a052f43f1..000000000000 --- a/dev-util/jenkins-bin/files/jenkins-bin-r3.service +++ /dev/null @@ -1,11 +0,0 @@ -[Unit] -Description=Jenkins Daemon - -[Service] -EnvironmentFile=/etc/conf.d/jenkins -Type=simple -ExecStart=/usr/bin/java ${JENKINS_JAVA_OPTIONS} -DJENKINS_HOME=${JENKINS_HOME} -jar ${JENKINS_WAR} --daemon --logfile=/var/log/jenkins/jenkins.log --httpPort=${JENKINS_PORT} --debug=${JENKINS_DEBUG_LEVEL} --handlerCountMax=100 --handlerCountMaxIdle=20 --accessLoggerClassName=winstone.accesslog.SimpleAccessLogger --simpleAccessLogger.format=combined --simpleAccessLogger.file=/var/log/jenkins/access_log ${JENKINS_ARGS} -User=jenkins - -[Install] -WantedBy=multi-user.target diff --git a/dev-util/jenkins-bin/files/jenkins-bin.confd b/dev-util/jenkins-bin/files/jenkins-bin.confd deleted file mode 100644 index f84e3463e359..000000000000 --- a/dev-util/jenkins-bin/files/jenkins-bin.confd +++ /dev/null @@ -1,62 +0,0 @@ -# Config file for /etc/init.d/jenkins - -# -# Directory where Jenkins store its configuration and working -# files (checkouts, build reports, artifacts, ...). -# -JENKINS_HOME="/var/lib/jenkins/home" - -# -# Options to pass to java when running Jenkins. -# -JENKINS_JAVA_OPTIONS="-Djava.awt.headless=true" - -# -# Port Jenkins is listening on. -# -JENKINS_PORT="8080" - -# -# Debug level for logs -- the higher the value, the more verbose. -# 5 is INFO. -# -JENKINS_DEBUG_LEVEL="5" - -# -# Whether to enable access logging or not. -# -JENKINS_ENABLE_ACCESS_LOG="no" - -# -# Maximum number of HTTP worker threads. -# -JENKINS_HANDLER_MAX="100" - -# -# Maximum number of idle HTTP worker threads. -# -JENKINS_HANDLER_IDLE="20" - -# -# Pass arbitrary arguments to Jenkins. -# Eg.: --httpListenAddress=127.0.0.1 --prefix=/jenkins -# Full option list: java -jar jenkins.war --help -# -JENKINS_ARGS="" - -# -# User -# -JENKINS_USER=jenkins - - - -# -# Pid File -# -JENKINS_PIDFILE="/var/run/jenkins.pid" - -# -# War File -# -JENKINS_WAR="/opt/jenkins/jenkins.war" |