我在Linux上使用的是WildFly 10。在此服务器上部署了几个WAR和EAR。其中之一是让终端用户将补丁上传到服务器。但是在/opt/文件夹中没有太多的可用空间,如果用户上传了一个大补丁,就会出现一个"No space left on device“的java.io.IOException。如何指定服务器应该使用另一个文件夹,而不是$JBOSS_HOME/standalone/tmp/appName.war/?提
在全局工具配置->JDK安装中配置Jenkins (2.121.3)以使用JDK 12 ...使用"Download URL for binary archive“的菜单在执行构建时会产生以下错误: The JAVA_HOME environment variable is not defined correctlyNB: JAVA_HOME should point to a JDK not a JRE
Build step 'Invoke top-lev