...
适用ps -ef||grep jetty ，查看本机安装的jetty版本，如果是jetty10，不需要做升级。
使用root账号登录后，按下面过程执行即可。
#下载Jetty10.0.15版本软件
[root@www ~]curl -O https://ds.carsi.edu.cn/4.3inst/v1/jetty-home-10.0.15.zip #解压缩文件
[root@www ~]unzip jetty-home-10.0.15.zip #将压缩后的文件拷贝到/usr/libexec/jetty10目录下
[root@www ~]mv jetty-home-10.0.15 /usr/libexec/jetty10 #修改环境变量JETTY_HOME为/usr/libexec/jetty10，并执行生效
[root@www ~]sed -i -e "s/jetty9/jetty10/g" /etc/profile.d/jetty.sh
[root@www ~]source /etc/profile.d/jetty.sh #下载jetty10的新idp.xml文件，覆盖原来的
[root@www ~]curl -k -o /opt/idpdeploy/webapps/idp.xml https://ds.carsi.edu.cn/4.3inst/v1/common/idp-jettynew.xml #将jetty10服务启动程序覆盖9.X版本
[root@www ~]cp /usr/libexec/jetty10/bin/jetty.sh /etc/init.d/jetty #修改默认配置文件中JETTY_HOME配置路径
[root@www ~]sed -i -e "s/jetty9/jetty10/g" /etc/default/jetty #jetty服务重新启动
[root@www ~]systemctl restart jetty #查看jetty进程
[root@www ~]ps -ef|grep jetty #删除之前的jetty9目录
[root@www ~]rm -rf /usr/libexec/jetty9 |
...