Что-то вроде этого может делать то, что вы хотите:
find . -name '*_files' -type d -prune -o ! \( -name '*.js' -o -name '*.css' -o -name '*.png' -o -name '*.gif' -o -name '*.jpeg' \)
Если это распечатает разумный список, то добавьте -print0 | xargs -o grep -i library
, чтобы сделать фактический поиск.
Изменить свою конфигурацию Nginx
location /jenkins {
proxy_pass http://localhost:8080/jenkins;
proxy_set_header Host $host;
proxy_set_header X-Real-IP $remote_addr;
}
Затем перестроить ваш сервер Дженкинса, чтобы принять запрос с/jenkins изменением JENKINS_ARGS
в /etc/default/jenkins
к чему-то вроде этого
JENKINS_ARGS="--webroot=/var/cache/jenkins/war --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT --prefix=/jenkins"
, Вы можете найти руководство деталей в
https://www.yauh.de/set-up-nginx-as-a-reverse-proxy-for-jira-and-jenkins/#usingnginxasaproxy