我在尝试更改我的jenkins端口时遇到了一些麻烦，因为我希望将端口8080用于不同的服务。到目前为止，我已经尝试过了：
目前在amazon linux上运行：
Jenkins版本：Jenkins 2.332.1
我尝试编辑配置文件：/etc/sysconfig/jenkins至：

JENKINS_PORT="7777"

然而，在我重新启动jenkins之后，端口没有改变：

● jenkins.service - Jenkins Continuous Integration Server
   Loaded: loaded (/usr/lib/systemd/system/jenkins.service; disabled; vendor preset: disabled)
  Drop-In: /etc/systemd/system/jenkins.service.d
           └─override.conf
   Active: active (running) since Tue 2022-04-05 15:52:24 UTC; 1min 33s ago
 Main PID: 1017 (java)
    Tasks: 36
   Memory: 500.6M
   CGroup: /system.slice/jenkins.service
           └─1017 /usr/bin/java -Djava.awt.headless=true -jar /usr/share/java/jenkins.war --webroot=%C/jenkins/war --httpPort=8080

Apr 05 15:53:38 ip-172-0-2-240.eu-west-1.compute.internal jenkins[1017]: at java.net.URLClassLoader$1.run(URLClassLoader.java:369)
Apr 05 15:53:38 ip-172-0-2-240.eu-west-1.compute.internal jenkins[1017]: at java.net.URLClassLoader$1.run(URLClassLoader.java:363)

我错过了什么？