-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
Feedback Issue: Browser-based terminal IDE #17724
Comments
Dear Gitpod maintainers, in this first session (using firefox-esr on Debian stable) I was especially interested in testing basic interaction with emacs (which is preinstalled in this ubuntu LTS image 👍) emacs (2 keybindings issues)
additional remarks:
conclusion:
clipboard handlingFinally, a comment regarding copying/pasting code or logs from/to the browser-based terminal: it's possible to use the browser contextual menu to do so, Last but not least, thanks a lot for developing this, and congrats for the impressive work! |
Hello 👋 |
Hi @jeanphibaconnais, you can use But if you really want to have exit act like #!/usr/bin/env bash
# If you're using bash as the shell
printf 'alias %s="%s"\n' exit "gp stop" >> "$HOME/.bashrc"
# Or if you want `exit` for all shells
printf '#!/bin/sh\ngp stop\n' > $HOME/.local/bin/exit
chmod +x $HOME/.local/bin/exit |
Hi @axonasif , thanks for your response. Yes of course I know the |
Hi all, good news: For Firefox
To this aim, I used this configuration: Credits: inspired by https://askubuntu.com/a/1401149/851217 For Chromium/Chrome
To this aim, I used this configuration: Credits: inspired by https://unix.stackexchange.com/a/621800/297058 |
On second thought, I just realize that it's easy to fully fix this aspect, by adding a beforeunload handler in Gitpod's js code. Additional infoI had done some testing in a webapp project I co-maintain, and just FYI it appears not all ways to add an onbeforeunload are portable across (Firefox, Chrome, Safari); so FWIW, I had ended up with: window.onbeforeunload = function(e) {e.preventDefault(); return false;} (that could be "cancelled" with |
Another issue/wishlist with the Browser Terminal: The shortcut Fortunately, the shortcut works if we connect from SSH (not using a browser). |
When using XTerm.js, we can define the Font Family that the terminal will use (when creating the terminal instance). Any possibility to allow us to define a Font Family on the preferences page for the terminal to use? |
@daniloraisi 👋 if you're on firefox, you can configure a custom monospace font from the preferences, this worked for me. |
@axonasif I'm using Edge, but it worked the same way. Thanks! |
@daniloraisi awesome! |
Thank you for providing a browser-based terminal option. I'm brand-new to using Gitpod's IDE as an alternative to GitHub Codespaces, and so far I like it and will continue using it. I'm puzzled by two things I'm seeing:
(Added) The terminal IDE session takes ~1min to start and 2.5min to 3min to stop. Please let me know if I should formally open a separate issue. Thanks! Update 6 Nov: I created a new terminal IDE workspace and am getting different/better results:
|
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
should be handle on the terminal side which is connecting to the instance or in the browser for web browser experience gitpod-io/gitpod#17724 (comment)
Objective
Issue for feedback related to our browser-based terminal IDE.
Related roadmap items:
Related links
Form for signing up for the private beta [Gitpod labs]It is available Generally now. See changelogThe text was updated successfully, but these errors were encountered: