五笔小筑
开发踩坑小记 开发踩坑小记
难用的 dash #!/bin/dash WBCHR_PIDS=$(pgrep wubi98-char) string="${WBCHR_PIDS}" echo $WBCHR_PIDS if [ ${string}"abc" = "
2023-07-10