jenkins notes

installing jenkins

   how-to-install-jenkins-on-ubuntu-18-04

changing jenkins port

   how-to-change-port-for-jenkins

   /etc/default/jenkins has port number.  Also change it in the URL  settings for programs which
   want to access jenkins for whatever reason. 

shutting down jenkins

    http://jenkins-server/exit

jenkins general admin

   Administering+Jenkins

starting jenkins

   Starting+and+Accessing+Jenkins
--30--