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
|
2019-01-01 08:17:42 +00:00
|
|
|
# images, as those include Sourcegraph Enterprise features.
|
2018-10-01 06:08:12 +00:00
|
|
|
time cmd/server/pre-build.sh
|
2020-01-27 20:34:33 +00:00
|
|
|
IMAGE=sourcegraph/server:0.0.0-DEVELOPMENT VERSION=0.0.0-DEVELOPMENT time cmd/server/build.sh
|
2018-10-01 06:08:12 +00:00
|
|
|
|
2020-01-27 20:34:33 +00:00
|
|
|
IMAGE=sourcegraph/server:0.0.0-DEVELOPMENT dev/run-server-image.sh
|
