Skip to content

Commit 6c0f3a0

Browse files
Enable software development from any device via https://gitpod.io
Learn more about this file at 'https://www.gitpod.io/docs/references/gitpod-yml'
1 parent 2d9dfe9 commit 6c0f3a0

2 files changed

Lines changed: 139 additions & 1 deletion

File tree

.gitpod.yml

Lines changed: 138 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,138 @@
1+
## Learn more about this file at 'https://www.gitpod.io/docs/references/gitpod-yml'
2+
##
3+
## This '.gitpod.yml' file when placed at the root of a project instructs
4+
## Gitpod how to prepare & build the project, start development environments
5+
## and configure continuous prebuilds. Prebuilds when enabled builds a project
6+
## like a CI server so you can start coding right away - no more waiting for
7+
## dependencies to download and builds to finish when reviewing pull-requests
8+
## or hacking on something new.
9+
##
10+
## With Gitpod you can develop software from any device (even iPads) via
11+
## desktop or browser based versions of VS Code or any JetBrains IDE and
12+
## customise it to your individual needs - from themes to extensions, you
13+
## have full control.
14+
##
15+
## The easiest way to try out Gitpod is install the browser extenion:
16+
## 'https://www.gitpod.io/docs/browser-extension' or by prefixing
17+
## 'https://gitpod.io#' to the source control URL of any project.
18+
##
19+
## For example: 'https://gitpod.io#https://github.com/gitpod-io/gitpod'
20+
21+
## The 'image' section defines which Docker image Gitpod should use.
22+
## By default, Gitpod uses a standard Docker Image called 'workspace-full'
23+
## which can be found at 'https://github.com/gitpod-io/workspace-images'
24+
##
25+
## Workspaces started based on this default image come pre-installed with
26+
## Docker, Go, Java, Node.js, C/C++, Python, Ruby, Rust, PHP as well as
27+
## tools such as Homebrew, Tailscale, Nginx and several more.
28+
##
29+
## If this image does not include the tools needed for your project then
30+
## a public Docker image or your own Docker file can be configured.
31+
##
32+
## Learn more about images at 'https://www.gitpod.io/docs/config-docker'
33+
34+
#image: node:buster # use 'https://hub.docker.com/_/node'
35+
#
36+
#image: # leave image undefined if using a Dockerfile
37+
# file: .gitpod.Dockerfile # relative path to the Dockerfile from the
38+
# # root of the project
39+
40+
image: gitpod/workspace-java-17
41+
42+
## The 'tasks' section defines how Gitpod prepares and builds this project
43+
## or how Gitpod can start development servers. With Gitpod, there are three
44+
## types of tasks:
45+
##
46+
## - before: Use this for tasks that need to run before init and before command.
47+
## - init: Use this to configure prebuilds of heavy-lifting tasks such as
48+
## downloading dependencies or compiling source code.
49+
## - command: Use this to start your database or application when the workspace starts.
50+
##
51+
## Learn more about these tasks at 'https://www.gitpod.io/docs/config-start-tasks'
52+
53+
#tasks:
54+
# - before: |
55+
# # commands to execute...
56+
#
57+
# - init: |
58+
# # sudo apt-get install python3 # can be used to install operating system
59+
# # dependencies but these are not kept after the
60+
# # prebuild completes thus Gitpod recommends moving
61+
# # operating system dependency installation steps
62+
# # to a custom Dockerfile to make prebuilds faster
63+
# # and to keep your codebase DRY.
64+
# # 'https://www.gitpod.io/docs/config-docker'
65+
#
66+
# # pip install -r requirements.txt # install codebase dependencies
67+
# # cmake # precompile codebase
68+
#
69+
# - name: Web Server
70+
# openMode: split-left
71+
# env:
72+
# WEBSERVER_PORT: 8080
73+
# command: |
74+
# python3 -m http.server $WEBSERVER_PORT
75+
#
76+
# - name: Web Browser
77+
# openMode: split-right
78+
# env:
79+
# WEBSERVER_PORT: 8080
80+
# command: |
81+
# gp await-port $WEBSERVER_PORT
82+
# lynx `gp url`
83+
84+
tasks:
85+
- init: yes | sdk env install && gradle build -DskipTests=true
86+
87+
## The 'ports' section defines various ports your may listen on are
88+
## configured in Gitpod on an authenticated URL. By default, all ports
89+
## are in private visibility state.
90+
##
91+
## Learn more about ports at 'https://www.gitpod.io/docs/config-ports'
92+
#ports:
93+
# - port: 8080 # alternatively configure entire ranges via '8080-8090'
94+
# visibility: private # either 'public' or 'private' (default)
95+
# onOpen: open-browser # either 'open-browser', 'open-preview' or 'ignore'
96+
## The 'vscode' section defines a list of Visual Studio Code extensions from
97+
## the OpenVSX.org registry to be installed upon workspace startup. OpenVSX
98+
## is an open alternative to the proprietary Visual Studio Code Marketplace
99+
## and extensions can be added by sending a pull-request with the extension
100+
## identifier to https://github.com/open-vsx/publish-extensions
101+
##
102+
## The identifier of an extension is always ${publisher}.${name}.
103+
##
104+
## For example: 'vscodevim.vim'
105+
##
106+
## Learn more at 'https://www.gitpod.io/docs/ides-and-editors/vscode'
107+
#vscode:
108+
# extensions:
109+
# - vscodevim.vim
110+
# - esbenp.prettier-vscode@9.5.0
111+
# - https://example.com/abc/releases/extension-0.26.0.vsix
112+
113+
vscode:
114+
extensions:
115+
- vscjava.vscode-java-pack
116+
117+
## The 'github' section defines configuration of continuous prebuilds
118+
## for GitHub repositories when the GitHub application
119+
## 'https://github.com/apps/gitpod-io' is installed in GitHub and granted
120+
## permissions to access the repository.
121+
##
122+
## Learn more at 'https://www.gitpod.io/docs/prebuilds'
123+
github:
124+
prebuilds:
125+
# enable for the default branch
126+
master: true
127+
# enable for all branches in this repo
128+
branches: true
129+
# enable for pull requests coming from this repo
130+
pullRequests: true
131+
# enable for pull requests coming from forks
132+
pullRequestsFromForks: true
133+
# add a check to pull requests
134+
addCheck: true
135+
# add a "Review in Gitpod" button as a comment to pull requests
136+
addComment: false
137+
# add a "Review in Gitpod" button to the pull request's description
138+
addBadge: false

README.adoc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
= Spring Boot image:https://ci.spring.io/api/v1/teams/spring-boot/pipelines/spring-boot-3.0.x/jobs/build/badge["Build Status", link="https://ci.spring.io/teams/spring-boot/pipelines/spring-boot-3.0.x?groups=Build"] image:https://badges.gitter.im/Join Chat.svg["Chat",link="https://gitter.im/spring-projects/spring-boot?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge"] image:https://img.shields.io/badge/Revved%20up%20by-Gradle%20Enterprise-06A0CE?logo=Gradle&labelColor=02303A["Revved up by Gradle Enterprise", link="https://ge.spring.io/scans?&search.rootProjectNames=Spring%20Boot%20Build&search.rootProjectNames=spring-boot-build"]
1+
= Spring Boot image:https://ci.spring.io/api/v1/teams/spring-boot/pipelines/spring-boot-3.0.x/jobs/build/badge["Build Status", link="https://ci.spring.io/teams/spring-boot/pipelines/spring-boot-3.0.x?groups=Build"] image:https://badges.gitter.im/Join Chat.svg["Chat",link="https://gitter.im/spring-projects/spring-boot?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge"] image:https://img.shields.io/badge/Revved%20up%20by-Gradle%20Enterprise-06A0CE?logo=Gradle&labelColor=02303A["Revved up by Gradle Enterprise", link="https://ge.spring.io/scans?&search.rootProjectNames=Spring%20Boot%20Build&search.rootProjectNames=spring-boot-build"] image:https://img.shields.io/badge/Contribute%20with-Gitpod-908a85?logo=gitpod["Contribute with Gitpod", link="https://gitpod.io/#https://github.com/spring-projects/spring-boot"]
22
:docs: https://docs.spring.io/spring-boot/docs/current-SNAPSHOT/reference
33
:github: https://github.com/spring-projects/spring-boot
44

0 commit comments

Comments
 (0)