mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-11 20:05:25 +00:00
small renames in docker files
This commit is contained in:
parent
1250c160c0
commit
0bfbf5a257
6 changed files with 14 additions and 11 deletions
|
|
@ -19,8 +19,8 @@ RUN apk add --no-cache git ca-certificates bind-tools tini jansson wget
|
|||
COPY vendor/zoekt/install-ctags-alpine.sh .
|
||||
RUN ./install-ctags-alpine.sh && rm install-ctags-alpine.sh
|
||||
|
||||
ENV DATA_DIR /zoekt-data/
|
||||
RUN mkdir -p ${DATA_DIR}
|
||||
ENV ZOEKT_DATA_CACHE_DIR /zoekt-data/
|
||||
RUN mkdir -p ${ZOEKT_DATA_CACHE_DIR}
|
||||
|
||||
ENV CONFIG_PATH /app/configs/config.json
|
||||
|
||||
|
|
|
|||
|
|
@ -15,8 +15,8 @@ FROM alpine:3.19 AS zoekt
|
|||
WORKDIR /app
|
||||
RUN apk add --no-cache git ca-certificates bind-tools tini jansson wget
|
||||
|
||||
ENV DATA_DIR /zoekt-data/
|
||||
RUN mkdir -p ${DATA_DIR}
|
||||
ENV ZOEKT_DATA_CACHE_DIR /zoekt-data/
|
||||
RUN mkdir -p ${ZOEKT_DATA_CACHE_DIR}
|
||||
|
||||
COPY entrypoint.zoekt-webserver.sh ./entrypoint.sh
|
||||
RUN chmod +x ./entrypoint.sh
|
||||
|
|
|
|||
|
|
@ -2,5 +2,8 @@
|
|||
{
|
||||
"GithubOrg": "TaqlaAI",
|
||||
"NoArchived": true
|
||||
},
|
||||
{
|
||||
"GithubOrg": "basetenlabs"
|
||||
}
|
||||
]
|
||||
|
|
@ -14,18 +14,18 @@ services:
|
|||
environment:
|
||||
- GITHUB_TOKEN=${GITHUB_TOKEN}
|
||||
- CONFIG_PATH=/app/configs/config.json
|
||||
- DATA_DIR=/zoekt-data/
|
||||
- ZOEKT_DATA_CACHE_DIR=/zoekt-data/
|
||||
volumes:
|
||||
- ./configs/config.json:/app/configs/config.json:r
|
||||
- zoekt_index_cache:/zoekt-data/
|
||||
- zoekt_data_cache:/zoekt-data/
|
||||
|
||||
zoekt-webserver:
|
||||
build:
|
||||
dockerfile: Dockerfile.zoekt-webserver
|
||||
environment:
|
||||
- DATA_DIR=/zoekt-data/
|
||||
- ZOEKT_DATA_CACHE_DIR=/zoekt-data/
|
||||
volumes:
|
||||
- zoekt_index_cache:/zoekt-data/
|
||||
- zoekt_data_cache:/zoekt-data/
|
||||
|
||||
volumes:
|
||||
zoekt_index_cache:
|
||||
zoekt_data_cache:
|
||||
|
|
@ -13,4 +13,4 @@ else
|
|||
echo -e "\e[33mWarning: Private GitHub repositories will not be indexed since GITHUB_TOKEN was not set. If you are not using GitHub, disregard.\e[0m"
|
||||
fi
|
||||
|
||||
exec "zoekt-indexserver" "-data_dir" "${DATA_DIR}" "-mirror_config" "${CONFIG_PATH}"
|
||||
exec "zoekt-indexserver" "-data_dir" "${ZOEKT_DATA_CACHE_DIR}" "-mirror_config" "${CONFIG_PATH}"
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
#!/bin/sh
|
||||
set -e
|
||||
|
||||
exec "zoekt-webserver" "-index" "${DATA_DIR}/index"
|
||||
exec "zoekt-webserver" "-index" "${ZOEKT_DATA_CACHE_DIR}/index"
|
||||
Loading…
Reference in a new issue