About The Project

This repository showcases the use of GitPod together with Miranum IDE.

Pre-requisites

1. Install VS Code on your maschine

2. Install VS Code Plugins (if you don't have them installed, you will be asked when opening your first workspace)

   • Gitpod
   • Gitpod Remote
   • Remote - SSH

3. (Optional) Add https://gitpod.io to your trusted domains

   1. Open the Command Palette (Ctrl+Shift+P)
   2. Type Manage Trusted Domains
   3. Add "https://gitpod.io" to the list of trusted domains at the end of the file

Getting started

1. (Optional) Install the Browser Extension

   • Chrome
   • Firefox

2. Login to Gitpod

3. Open a Workspace

   • by prefixing the URL with gitpod.io/# (e.g. gitpod.io/#https://github.com/miragon/miranum-gitpod)
   • by clicking the GitPod button in the repository's README.md (only available with the browser extension installed)
   • by clicking New Workspace

4. Configure Workspace Options

   

5. Navigate through the different popups in VS Code

   Allow Gitpod to open URL	Trust Author

6. Disconnect from the Workspace

   • via Gitpod Plugin
     • Open the View
   • via Command Palette

Usage

Push to GitHub via Gitpod

1. Update your User Settings
   1. Go to your User Settings
   2. Click the three dots on the right side of the line that says GitHub
   3. Click Edit Permissions
   4. Grant the permissions to your need (e.g. public_repo to allow write access to your public repositories)

License

Distributed under the Apache License Version 2.0.

(back to top)