用户工具

站点工具


tools:git-bash

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

tools:git-bash [2020/06/23 22:24] (当前版本)
admin 创建
行 1: 行 1:
 +====== kill ======
 +
 +  netstat -ano|findstr 8080
 +  taskkill -pid pid -f
 +
 +====== JAVA_HOME ======
 +
 +  JAVA_HOME=$JAVA_11
 +  which java
 +
  
tools/git-bash.txt · 最后更改: 2020/06/23 22:24 由 admin