artin/sourcegraph
1
0
Fork 0
mirror of https://github.com/sourcegraph/sourcegraph.git synced 2026-02-06 17:51:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

improve dev-sourcegraph-server.sh (#640)

Browse Source
This commit is contained in:
Nick Snyder 2018-11-01 15:26:58 -07:00 committed by GitHub
parent 74ed095aa5
commit 0d70eb9fc2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
dev/dev-sourcegraph-server.sh
View File

@ -1,5 +1,6 @@
#!/bin/sh
#!/usr/bin/env bash
cd $(dirname "${BASH_SOURCE[0]}")/..
set -ex
# Build a Sourcegraph server docker image to run for development purposes. Note
@ -8,4 +9,4 @@ set -ex
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
IMAGE=sourcegraph/server:$USER-dev dev/run-server-image.sh

6
enterprise/dev/dev-sourcegraph-server.sh
View File

@ -5,7 +5,7 @@ set -ex
# Build a Sourcegraph server docker image with private code built in to run for
# development purposes
time ../sourcegraph/cmd/server/pre-build.sh
IMAGE=sourcegraph/server:$USER-dev VERSION=$USER-dev time cmd/server/build.sh
time cmd/server/pre-build.sh
IMAGE=sourcegraph/server:$USER-dev-enterprise VERSION=$USER-dev-enterprise time cmd/server/build.sh
IMAGE=sourcegraph/server:$USER-dev ../sourcegraph/dev/run-server-image.sh
IMAGE=sourcegraph/server:$USER-dev-enterprise ../dev/run-server-image.sh