2018-11-01 22:26:58 +00:00
|
|
|
#!/usr/bin/env bash
|
2018-10-01 06:08:12 +00:00
|
|
|
|
2018-11-01 22:26:58 +00:00
|
|
|
cd $(dirname "${BASH_SOURCE[0]}")/..
|
2018-10-01 06:08:12 +00:00
|
|
|
set -ex
|
|
|
|
|
|
|
|
|
|
# Build a Sourcegraph server docker image to run for development purposes. Note
|
|
|
|
|
# that this image is not exactly identical to the published sourcegraph/server
|
|
|
|
|
# images, as those include Sourcegraph's proprietary code behind paywalls.
|
|
|
|
|
time cmd/server/pre-build.sh
|
|
|
|
|
IMAGE=sourcegraph/server:$USER-dev VERSION=$USER-dev time cmd/server/build.sh
|
|
|
|
|
|
2018-11-01 22:26:58 +00:00
|
|
|
IMAGE=sourcegraph/server:$USER-dev dev/run-server-image.sh
|
