mirror of
https://github.com/jenkinsci/jenkins.git
synced 2024-10-23 08:45:06 +08:00
Update deprecated gitpod commands (#7771)
This commit is contained in:
parent
4770fb6be3
commit
2f4a269b51
@ -4,7 +4,7 @@ tasks:
|
||||
command: |
|
||||
mvn -pl war jetty:run -Dhost=0.0.0.0
|
||||
name: Run
|
||||
- command: gp await-port 8080 && gp url 8080 && gp preview $(gp url 8080)/jenkins/
|
||||
- command: gp ports await 8080 && gp url 8080 && gp preview $(gp url 8080)/jenkins/
|
||||
name: Preview
|
||||
|
||||
github:
|
||||
|
Loading…
Reference in New Issue
Block a user