quiet installation of local extensions #26
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
akosyakov
requested review from
mustard-mh and
jeanp413
and removed request for
mustard-mh
mustard-mh
reviewed
Oct 20, 2022
Since many users ignore this notification, only 40% of users who noticed it managed to convert, and around 1% of all users never come back if they try to use we decided to quite this notitication on the connection. Instead it logs and we provide an explicit `Install Local Extensions` command to force sync at any time which will prompt a user.
akosyakov
force-pushed
the
ak/quiet_local_extensions_install
branch
from
8a758b7
to
a92cd25
Compare
|
i have the pre-release ext. turned on, how can i use this? |
|
@avelops local extensions are now installed automatically on the remote side. is that not the case for you? If not you can check Gitpod logs to check for any error |
|
Maybe for ssh, but we IDE not
…On Tue, Sep 19, 2023, 01:40 Jean Pierre ***@***.***> wrote:
@avelops <https://github.com/avelops> local extensions are now installed
automatically on the remote side. is that not the case for you? If not you
can check Gitpod logs to check for any error
[image: image]
<https://user-images.githubusercontent.com/25115070/268789643-91b7c4bd-2067-4cb3-8ec6-5b33fb135df6.png>
—
Reply to this email directly, view it on GitHub
<#26 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ALWFPDTEVRYQZTSRIDGFFWTX3DEUTANCNFSM6AAAAAARKDIJ7I>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Not sure I'm following, could you be more specific 🤔 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Since many users ignore this notification, only 40% of users who noticed it managed to convert, and around 1% of all users never come back if they try to use we decided to quiet this notification on the connection. Instead it logs and we provide an explicit
Install Local Extensionscommand to force sync at any time which will prompt a user.Related Issue(s)
Fixes gitpod-io/gitpod#7906
How to test
Install Local Extensionsnew command.Release Notes
Add
Install Local Extensionscommand to explicitly install local extensions.On connection try to install local extensions but quietly without notifications.
Documentation
I will do https://github.com/gitpod-io/website/issues/2933 after this PR is merged and deployed for latest and stable.