mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-12 04:15:30 +00:00
Relax CONFIG_PATH check to warning
This commit is contained in:
parent
184eabdea5
commit
577d05c503
2 changed files with 13 additions and 4 deletions
|
|
@ -1,10 +1,10 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
# Check if the configuration file exists
|
|
||||||
if [ ! -f "$CONFIG_PATH" ]; then
|
# Check if CONFIG_PATH is set
|
||||||
echo "Error: Configuration file not found at $CONFIG_PATH. Please check that you mounted a volume to $DATA_DIR, and the volume contains a config.json file at the root."
|
if [ -z "$CONFIG_PATH" ]; then
|
||||||
exit 1
|
echo "\e[33mWarning: CONFIG_PATH environment variable is not set.\e[0m"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# Check if GITHUB_TOKEN is set
|
# Check if GITHUB_TOKEN is set
|
||||||
|
|
|
||||||
9
sample-config.json
Normal file
9
sample-config.json
Normal file
|
|
@ -0,0 +1,9 @@
|
||||||
|
{
|
||||||
|
"$schema": "./schemas/zoekt-mirror.json",
|
||||||
|
"Configs": [
|
||||||
|
{
|
||||||
|
"Type": "github",
|
||||||
|
"GitHubOrg": "TaqlaAI"
|
||||||
|
}
|
||||||
|
]
|
||||||
|
}
|
||||||
Loading…
Reference in a new issue