menu
Channels
Team
Posts
Members
Info
down-caret
·287d·Pinned# General

301: The Gitpod community has moved!

Hi everyone! We have a new place for our community: https://community.gitpod.io/ -- please direct any new posts there. As Gitpod's popularity continues to grow, we wanted to find a better place for all your questions, ideas and projects. We believe that our new self-hosted…

thumbsup
3
message-simple
0

How to connect a virtual emulator to gitpod? Emualtor : genymotion cloud paas

thumbsup
0
message-simple
0

CLI for MySQL

hi there . Can any one point me in the right direction how to find the CLI for MySQL in order to start the server and import a db file into MySQL? Thanks in advance

thumbsup
0
message-simple
7

Workspace with mono and vnc

I need to create a Dockerimage based on workspacevnc that includes mono, but no luck. Any pointers?

thumbsup
0
message-simple
1

How does guest users expose a port in a shared workspace?

I'm sharing a workspace with my friend and it seems that he can serve the app in port 8000 but cant expose it. Any workaround on this? Thanks in advance!

thumbsup
0
message-simple
1

It is posible to build Theia as a JS script to run it just as a web-repl?

I want to create a self-hosted (in browser) light repl: Theia as a text editor and 'Run' button for eval text in editor.

thumbsup
0
message-simple
3

Experiencing very long load times

Workspaces refuse to start or will hang for around 5-10 minutes. I tried logging in in a private browser but was unable to, with an Error 504 message. Is anyone experiencing something similar? Or is there something I can do fix this?

thumbsup
0
message-simple
3

vs code extension urls

What does after the colon in the extension config line? It's probably the download token, can this be obtained w/out having to download the vsix file? vscode: extensions:

thumbsup
0
message-simple
3

Maildev execute well but my app can't contact it

to debug my mails i use maildev, but i can't intercept any mail with it. I execute my app using php artisan serve --host=0.0.0.0 is there any relation ? …

thumbsup
0
message-simple
0

Sharing: WordPress Setup

https://github.com/luizbills/gitpod-wordpress

thumbsup
1
message-simple
0

is there's a way to persist sdk-installation with sdkman?

per default sdkman installs the sdk's inside the user-home directory which is not persitent and get's deleted after each start. Is there's a way to change it without adjusting the base image?

thumbsup
0
message-simple
2