Skip to content

Maintenance: Add gitpod configuration for cloud development #1335

Open
@jeromevdl

Description

@jeromevdl

Summary

Create the gitpod configuration so that people can have a cloud IDE to start working quickly on Powertools.

Why is this needed?

  • Python already has this (see .gitpod.yml and other gitpod files)
  • It can help people willing to contribute to start faster.

Which area does this relate to?

No response

Solution

Look at java configuration of gitpod: https://www.gitpod.io/docs/introduction/languages/java

Ideally, we would like to have it working with IntelliJ (VS Code does not seem to support checkstyle).

  • .gitpod.yml:
image:
  file: .gitpod.Dockerfile

jetbrains:
  intellij:
    plugins:
      - CheckStyle-IDEA
      - aws.toolkit
  • .gitpod.Dockerfile
FROM gitpod/workspace-java-11@sha256:0af027bfe0d2a85705d24aeb489c5f3d75b483cd5e60c1c3529a959daa3defa6

USER gitpod

# Install Corretto 11
RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh && \
    sdk install java 11.0.20-amzn && \
    sdk default java 11.0.20-amzn"

Acknowledgment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    Status

    Backlog

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions