Gostaria de saber como posso alterar a porta do Jekins usando o bootstrap.sh no Vagrant, está dando conflito com o Tomcat na porta 8080, meu código é esse:

JENKINS

echo -e "-- Including Jenkins packages\n" wget -q -O - https://pkg.jenkins.io/debian/jenkins-ci.org.key | apt-key add - > /dev/null 2>&1

sh -c "echo deb http://pkg.jenkins.io/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list"

echo -e "-- Updating packages list\n" apt-get update -y -qq

echo -e "-- Installing Jenkins automation server\n"

#apt-get install jenkins -y -qq sudo apt install jenkins