Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

develop: add dev guide playground gitpod #8634

Merged
merged 28 commits into from
Jun 17, 2022
Merged
Show file tree
Hide file tree
Changes from 27 commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
5d6f4e2
add dev guide playground gitpod
shczhen May 16, 2022
00dac51
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
5c05f16
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
e9d9274
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
bb25d9f
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
f950545
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
afbdf95
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
d6b4282
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
63cd79b
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
2f5ec53
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
f858e80
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
c6319ef
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
1533141
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
db1b0af
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
20da9a2
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
f1a2d78
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
015b7df
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
e3c654f
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
341c725
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
26b1a53
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
29a8765
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
44f682e
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
01a1a86
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
37274c3
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
63905a6
Update develop/dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
bd0154c
Update dev-guide-playground-gitpod.md
shczhen Jun 6, 2022
a30a756
Merge branch 'master' into add-dev-guide-gitpod
shczhen Jun 17, 2022
5e71b11
Apply suggestions from code review
Oreoxmt Jun 17, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 2 additions & 0 deletions TOC.md
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,8 @@
- Guidelines
- [Object Naming Convention](/develop/dev-guide-object-naming-guidelines.md)
- [SQL Development Specifications](/develop/dev-guide-sql-development-specification.md)
- Cloud Native Development Environment
- [Gitpod](/develop/dev-guide-playground-gitpod.md)
- Archived Docs
- [For Hibernate ORM](/develop/dev-guide-outdated-for-hibernate-orm.md)
- [For Django](/develop/dev-guide-outdated-for-django.md)
Expand Down
169 changes: 169 additions & 0 deletions develop/dev-guide-playground-gitpod.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,169 @@
---
title: Gitpod
---

<!-- markdownlint-disable MD029 -->

# Gitpod

With [Gitpod](https://www.gitpod.io/), you can get a full development environment in your browser with the click of a button or link, and you can write code right away.

Gitpod is an open-source Kubernetes application (GitHub repository address: <https://github.com/gitpod-io/gitpod>) for direct-to-code development environments, which spins up fresh, automated development environments for each task, in the cloud, in seconds. It enables you to describe your development environment as code and start instant, remote and cloud-based development environments directly from your browser or your Desktop IDE.

## Quick start

1. Fork the example code repository [pingcap-inc/tidb-example-java](https://github.com/pingcap-inc/tidb-example-java) for TiDB application development .
Oreoxmt marked this conversation as resolved.
Show resolved Hide resolved

2. Start your Gitpod workspace by prefixing the URL of the sample code repository with `https://gitpod.io/#` in the address bar of your browser.

- For example, `https://gitpod.io/#https://github.com/pingcap-inc/tidb-example-java`。
Oreoxmt marked this conversation as resolved.
Show resolved Hide resolved

- You can configure environment variables in the URL. For example, `https://gitpod.io/#targetFile=spring-jpa-hibernate_Makefile,targetMode=spring-jpa-hibernate/https://github.com/pingcap-inc/tidb-example-java`.

3. Log in and start the workspace using one of the providers listed. For example, `Github`.

## Use the default Gitpod configuration and environment

After completing the [quick-start](#quick-start) steps, it will take a while for Gitpod to set up your workspace.

Take the [Spring Boot Web](/develop/dev-guide-sample-application-spring-boot.md) application as an example. You can create a new workspace by the `https://gitpod.io/#targetFile=spring-jpa-hibernate_Makefile,targetMode=spring-jpa-hibernate/https://github.com/pingcap-inc/tidb-example-java` URL.

After that, you will see a page similar to the following:

![playground gitpod workspace init](/media/develop/playground-gitpod-workspace-init.png)

This scenario in the page uses [TiUP](https://docs.pingcap.com/zh/tidb/stable/tiup-overview) to build a TiDB Playground. You can check the progress on the left side of the terminal area.

Once the TiDB Playground is ready, another `Spring JPA Hibernate` task will run. You can check the progress on the right side of the terminal area.

After all these tasks are finished, you will see a page similar to the following. On this page, check the `REMOTE EXPLORER` area in the left navigation pane (Gitpod supports URL-based port forwarding) and find the URL of your port `8080`.

![playground gitpod workspace ready](/media/develop/playground-gitpod-workspace-ready.png)

You can test the API by [sending an HTTP request](/develop/dev-guide-sample-application-spring-boot.md#step-6-http-requests). Make sure to replace the `http://localhost:8080` URL with the one you found in the `REMOTE EXPLORER` area.

## Using custom Gitpod configuration and Docker image

### Customize Gitpod configurations

Referring to [example.gitpod.yml](https://github.com/pingcap-inc/tidb-example-java/blob/main/.gitpod.yml), create a `.gitpod. yml` file in the root directory of your project to configure the Gitpod workspace.

```yml
# This configuration file was automatically generated by Gitpod.
# Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file)
# and commit this file to your remote git repository to share the goodness with others.

# image:
# file: .gitpod.Dockerfile

tasks:
- name: Open Target File
command: |
if [ -n "$targetFile" ]; then code ${targetFile//[_]//}; fi
- name: TiUP init playground
command: |
$HOME/.tiup/bin/tiup playground
- name: Test Case
openMode: split-right
init: echo "*** Waiting for TiUP Playground Ready! ***"
command: |
gp await-port 3930
if [ "$targetMode" == "plain-java-jdbc" ]
then
cd plain-java-jdbc
code src/main/resources/dbinit.sql
code src/main/java/com/pingcap/JDBCExample.java
make mysql
elif [ "$targetMode" == "plain-java-hibernate" ]
then
cd plain-java-hibernate
make
elif [ "$targetMode" == "spring-jpa-hibernate" ]
then
cd spring-jpa-hibernate
make
fi
ports:
- port: 8080
visibility: public
- port: 4000
visibility: public
- port: 2379-36663
onOpen: ignore
```

### Customize Gitpod Docker images

By default, Gitpod uses a standard Docker image named Workspace-Full as the basis for the workspace. Workspaces launched from this default image are pre-installed with Docker, Go, Java, Node.js, C/C++, Python, Ruby, Rust, PHP, and tools such as Homebrew, Tailscale, and Nginx.

You can use a public Docker image or a Dockerfile and also install any required dependencies for your project.

For example, you can use a Dockerfile (see also [Example `.gitpod.Dockerfile`](https://github.com/pingcap-inc/tidb-example-java/blob/main/.gitpod.Dockerfile)) as follows:

```dockerfile
FROM gitpod/workspace-java-17

RUN sudo apt install mysql-client -y
RUN curl --proto '=https' --tlsv1.2 -sSf https://tiup-mirrors.pingcap.com/install.sh | sh
```

Then, you need to update `.gitpod.yml`:

```yml
# This configuration file was automatically generated by Gitpod.
# Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file)
# and commit this file to your remote git repository to share the goodness with others.

image:
# Import your Dockerfile here.
file: .gitpod.Dockerfile

tasks:
- name: Open Target File
command: |
if [ -n "$targetFile" ]; then code ${targetFile//[_]//}; fi
- name: TiUP init playground
command: |
$HOME/.tiup/bin/tiup playground
- name: Test Case
openMode: split-right
init: echo "*** Waiting for TiUP Playground Ready! ***"
command: |
gp await-port 3930
if [ "$targetMode" == "plain-java-jdbc" ]
then
cd plain-java-jdbc
code src/main/resources/dbinit.sql
code src/main/java/com/pingcap/JDBCExample.java
make mysql
elif [ "$targetMode" == "plain-java-hibernate" ]
then
cd plain-java-hibernate
make
elif [ "$targetMode" == "spring-jpa-hibernate" ]
then
cd spring-jpa-hibernate
make
fi
ports:
- port: 8080
visibility: public
- port: 4000
visibility: public
- port: 2379-36663
onOpen: ignore
```

### Apply changes

After completing the configuration of the `.gitpod.yml` file, make sure that the latest code is available in your corresponding GitHub repository.

Visit `https://gitpod.io/#<YOUR_REPO_URL>` to create a new Gitpod workspace with the latest code applied.

Visit `https://gitpod.io/workspaces` for all established workspaces.

## Summary

Gitpod provides a complete, automated, and pre-configured cloud-native development environment. You can develop, run, and test code directly in the browser without any local configurations.

![playground gitpod summary](/media/develop/playground-gitpod-summary.png)
Binary file added media/develop/playground-gitpod-summary.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.