You have your shinny new Jenkins installation, but how to make it more personal? How to change the logo of Jenkins?
The butler face is nice, but what if I wanted to add something to the logo?
In <jenkins_home>, there is an interesting file named title.png coming along with another one named title.svg:
By the way, the other part of the logo is also found there: headshot.png.
The image has a transparent background.
Unfortunately, it does not work. Not changing the height of the image would be fine, but the length needs to change. Let's investigate with FireFox inspector.
Here is your problem.
The image size is hardcoded in a Jelly file (an hybrid java/XML file):
After some research about Jelly, it turns out that Jelly files are not compiled into bycode, but interpreted. So there must be somewhere in the final installation of Jenkins.
<jenkins_home>/war/WEB-INF/lib/jenkins-core-2.32.3.jar/lib/layout/layout.jelly # ^^^^^^^^^^^^
Note: you need to restart Jenkins, if you change this file at runtime.
|||Jenkins, Sources repository, https://github.com/jenkinsci/jenkins|
|||Docker Hub, Jenkins image, https://hub.docker.com/_/jenkins/|
|||Wikipedia, WAR article, https://en.wikipedia.org/wiki/WAR_(file_format)|
|||Oracle, JAR File Specification, http://docs.oracle.com/javase/7/docs/technotes/guides/jar/jar.html|