Actualiser configs.sh
This commit is contained in:
parent
cc188057f1
commit
48751efe50
|
@ -45,7 +45,7 @@ git remote set-url origin $REPO_URL_TOKEN
|
||||||
git pull --rebase origin $BRANCH
|
git pull --rebase origin $BRANCH
|
||||||
|
|
||||||
# Lecture des chemins des fichiers depuis le fichier de configuration
|
# Lecture des chemins des fichiers depuis le fichier de configuration
|
||||||
CONFIG_FILE="/etc/gitea/chemin" # Chemin du fichier de configuration
|
CONFIG_FILE="/etc/gitea/path_config" # Chemin du fichier de configuration
|
||||||
|
|
||||||
if [ ! -f "$CONFIG_FILE" ]; then
|
if [ ! -f "$CONFIG_FILE" ]; then
|
||||||
echo "Le fichier de configuration $CONFIG_FILE n'existe pas."
|
echo "Le fichier de configuration $CONFIG_FILE n'existe pas."
|
||||||
|
|
Loading…
Reference in New Issue