diff --git a/ci/dev/update-vscode.sh b/ci/dev/update-vscode.sh index 2c05431a..3dee1a21 100755 --- a/ci/dev/update-vscode.sh +++ b/ci/dev/update-vscode.sh @@ -15,7 +15,7 @@ main() { # Ask which version we should update to # In the future, we'll automate this and grab the latest version automatically - read -p "What version of VSCode would you like to update to? (i.e. 1.52) " VSCODE_VERSION_TO_UPDATE + read -p "What version of VSCode would you like to update to? (i.e. 1.52) " VSCODE_VERSION_TO_UPDATE # Check that this version exists if [[ -z $(git ls-remote --heads vscode release/$VSCODE_VERSION_TO_UPDATE) ]]; then @@ -29,10 +29,10 @@ main() { # Check if GitHub CLI is installed if ! command -v gh &> /dev/null; then - echo "GitHub CLI could not be found." - echo "If you install it before you run this script next time, we'll open a draft PR for you!" - echo -e "See docs here: https://github.com/cli/cli#installation\n" - exit + echo "GitHub CLI could not be found." + echo "If you install it before you run this script next time, we'll open a draft PR for you!" + echo -e "See docs here: https://github.com/cli/cli#installation\n" + exit fi # Push branch to remote if not already pushed @@ -49,7 +49,6 @@ main() { # To read about these flags, visit the docs: https://cli.github.com/manual/gh_pr_create gh pr create --base master --title "feat(vscode): update to version $VSCODE_VERSION_TO_UPDATE" --body "This PR updates vscode to version: $VSCODE_VERSION_TO_UPDATE" --reviewer @cdr/code-server-reviewers --repo cdr/code-server --draft - echo "Going to try to update vscode for you..." echo -e "Running: git subtree pull --prefix lib/vscode vscode release/${VSCODE_VERSION_TO_UPDATE} --squash\n" # Try to run subtree update command diff --git a/docs/FAQ.md b/docs/FAQ.md index e0cad695..d36d70af 100644 --- a/docs/FAQ.md +++ b/docs/FAQ.md @@ -4,7 +4,7 @@ - [Questions?](#questions) - [iPad Status?](#ipad-status) -- [Community Projects (awesome-code-server)](#awesome-code-server) +- [Community projects (awesome-code-server)](#community-projects-awesome-code-server) - [How can I reuse my VS Code configuration?](#how-can-i-reuse-my-vs-code-configuration) - [Differences compared to VS Code?](#differences-compared-to-vs-code) - [How can I request a missing extension?](#how-can-i-request-a-missing-extension) diff --git a/docs/install.md b/docs/install.md index b764046c..e37389d2 100644 --- a/docs/install.md +++ b/docs/install.md @@ -14,7 +14,7 @@ - [Standalone Releases](#standalone-releases) - [Docker](#docker) - [helm](#helm) -- [App Engines (Azure, Heroku)](#app-engines) +- [App Engines (Azure, Heroku)](#app-engines-azure-heroku)