docker-playground[master]: Add Dockerfile for gerrit and monkey patch

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Holger Freyther gerrit-no-reply at lists.osmocom.org
Tue Apr 24 14:04:42 UTC 2018


Patch Set 1:

(1 comment)

https://gerrit.osmocom.org/#/c/7905/1/gerrit/Dockerfile
File gerrit/Dockerfile:

Line 15: 	zip -u /var/gerrit/bin/gerrit.war WEB-INF/lib/gerrit-openid-libopenid.jar
> besides 'mkdir /tmp/work; cd /tmp/work; unzip...' and 'rm -rf /tmp/work' fo
It might give docker the opportunity to save 51k (from 1.2GB container). I think I will skip the clean-up. :}


-- 
To view, visit https://gerrit.osmocom.org/7905
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: comment
Gerrit-Change-Id: I713948fbb93355c2e33e3b92969e2389cb88c938
Gerrit-PatchSet: 1
Gerrit-Project: docker-playground
Gerrit-Branch: master
Gerrit-Owner: Holger Freyther <holger at freyther.de>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>
Gerrit-Reviewer: Holger Freyther <holger at freyther.de>
Gerrit-Reviewer: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-HasComments: Yes



More information about the gerrit-log mailing list