mirror of
https://github.com/sourcegraph/sourcegraph.git
synced 2026-02-06 20:31:48 +00:00
02a03f54c1
Internal revision: sourcegraph/sourcegraph-intermediate-2018@d0cebbadc7 Executor: @slimsag
12 lines
435 B
Bash
Executable File
12 lines
435 B
Bash
Executable File
#!/bin/sh
|
|
|
|
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
|
|
|
|
IMAGE=sourcegraph/server:$USER-dev ${BASH_SOURCE%/*}/run-server-image.sh
|