From 0de9c07f0a57ac64ff449d1190441fb1449f8ce4 Mon Sep 17 00:00:00 2001 From: Leonardo Galesky Date: Mon, 13 Sep 2021 11:08:27 -0300 Subject: [PATCH] Apply suggestions from @bpmct's code review Co-authored-by: Ben Potter --- docs/collaboration.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/collaboration.md b/docs/collaboration.md index d43d0975..d1235ec0 100644 --- a/docs/collaboration.md +++ b/docs/collaboration.md @@ -1,6 +1,6 @@ # Collaboration -You can use code server to collaborate with other developers in real time. +With third-party extensions, you can use code-server to collaborate with other developers in real time. ## Code sharing using Duckly @@ -28,4 +28,4 @@ SERVICE_URL=https://open-vsx.org/vscode/gallery \ ### Sharing with Duckly -As `code-server` is based on VScode, you can follow the steps described on Duckly's [Pair programming with VS Code](https://duckly.com/tools/vscode) page and skip the installation step. +As `code-server` is based on VS Code, you can follow the steps described on Duckly's [Pair programming with VS Code](https://duckly.com/tools/vscode) page and skip the installation step.