From c43cb5b24dcf5446a37e5f63ab99f810bba99f46 Mon Sep 17 00:00:00 2001 From: galesky Date: Sun, 12 Sep 2021 15:00:47 -0300 Subject: [PATCH] ci(docs): fix formatting --- docs/collaboration.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/collaboration.md b/docs/collaboration.md index 47947978..d43d0975 100644 --- a/docs/collaboration.md +++ b/docs/collaboration.md @@ -17,11 +17,13 @@ You can use code server to collaborate with other developers in real time. Duckly uses an extension to provide real time sharing features 1. Install the Duckly extension from OpenVSX on `code-server`. + ```bash SERVICE_URL=https://open-vsx.org/vscode/gallery \ ITEM_URL=https://open-vsx.org/vscode/item \ code-server --install-extension gitduck.code-streaming ``` + 2. Refresh you `code-server` window. You should now be able to see the Duckly extension. ### Sharing with Duckly