Add robots.txt (#2080)

Closes #1886.
2020-09-14 17:34:48 -05:00
parent cc5ed1eb57
commit 9d87c5328c
3 changed files with 23 additions and 10 deletions
--- a/ci/build/build-release.sh
+++ b/ci/build/build-release.sh
@ -37,6 +37,7 @@ bundle_code_server() {
  rsync src/browser/media/ "$RELEASE_PATH/src/browser/media"
  mkdir -p "$RELEASE_PATH/src/browser/pages"
  rsync src/browser/pages/*.html "$RELEASE_PATH/src/browser/pages"
+  rsync src/browser/robots.txt "$RELEASE_PATH/src/browser"

  # Adds the commit to package.json
  jq --slurp '.[0] * .[1]' package.json <(