d7b726140d
This provides an HTML-only PolyGerrit plugin consistent with our Gitea theming, generously provided by Paladox (many thanks!). Since we have to split some roles in the build playbook, also name the temporary patching role to make the build console a little easier to read. Change-Id: I3baf17d04b2dca34fc23dcab91c00544cedf0ca6
32 lines
1.1 KiB
Docker
32 lines
1.1 KiB
Docker
# Copyright (c) 2019 Red Hat, Inc.
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
|
|
# implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
# This comment is here to be edited to force rebuilds. Please rebuild.
|
|
|
|
FROM docker.io/opendevorg/gerrit-base as gerrit
|
|
|
|
COPY release.war /var/gerrit/bin/gerrit.war
|
|
|
|
# Install plugins
|
|
RUN mkdir /var/gerrit/plugins && \
|
|
unzip -jo /var/gerrit/bin/gerrit.war WEB-INF/plugins/* -d /var/gerrit/plugins
|
|
|
|
COPY opendevtheme.html /var/gerrit/plugins/opendevtheme.html
|
|
|
|
FROM gerrit as gerrit-2
|
|
|
|
# Only Gerrit 2.14, 2.15, and 2.16 need this COPY
|
|
COPY javamelody-deps_deploy.jar /var/gerrit/lib/javamelody-deps_deploy.jar
|