dk: support du nommage du répertoire pour le checkout

This commit is contained in:
Jephté Clain 2020-06-09 14:04:37 +04:00
parent fb285e0319
commit 7254661f45
1 changed files with 9 additions and 3 deletions

12
dk
View File

@ -276,6 +276,8 @@ OPTIONS build
app_SRC= # répertoire/fichier source (si URL='')
app_DEST= # répertoire dans lequel faire le checkout
# ou destination si synchro avec app_SRC
app_NAME= # nom du répertoire dest si checkout; par
# défaut prendre la valeur 'app'
app_RSYNC_OPTS= # options de rsync si synchro (avec app_SRC
# ou app_DEVEL_SRCDIR)
app_PROFILE_ORIGIN= # origine spécifique au profil 'PROFILE'
@ -330,6 +332,7 @@ VARIABLES de update-apps.conf
SRC= # répertoire/fichier source (si URL='')
DEST= # répertoire dans lequel faire le checkout
# ou destination si URL=''
NAME= # nom du répertoire dest si checkout
RSYNC_OPTS= # options de rsync si synchro avec SRC ou
# DEVEL_SRCDIR
ORIGIN= # origine de la branche
@ -705,7 +708,7 @@ function build_update_apps() {
fi
etitle "Mise à jour des dépendances"
local app var URL SRC DEVEL_SRCDIR DEST have_RSYNC_OPTS RSYNC_OPTS ORIGIN BRANCH TYPE after_update after_updates composer_action
local app var URL SRC DEVEL_SRCDIR DEST NAME have_RSYNC_OPTS RSYNC_OPTS ORIGIN BRANCH TYPE after_update after_updates composer_action
for app in "${APPS[@]}"; do
etitle "$app"
@ -726,6 +729,9 @@ function build_update_apps() {
DEST="${var}_DEST"; DEST="${!DEST}"
[ -n "$DEST" ] || DEST="$app/b"
NAME="${var}_NAME"; NAME="${!NAME}"
[ -n "$NAME" ] || NAME="$app"
if is_defined "${var}_RSYNC_OPTS"; then
have_RSYNC_OPTS=1
RSYNC_OPTS="${var}_RSYNC_OPTS[@]"; RSYNC_OPTS=("${!RSYNC_OPTS}")
@ -747,7 +753,7 @@ function build_update_apps() {
if [ -n "$BUILD_UPDATE_DEVEL" ]; then
mkdir -p "$DEST" || { eend; return 1; }
DEST="$DEST/$app"
DEST="$DEST/$NAME"
# synchronisation en mode devel
[ -n "$have_RSYNC_OPTS" ] || RSYNC_OPTS=(--delete --delete-excluded)
@ -776,7 +782,7 @@ function build_update_apps() {
fi
elif [ -n "$URL" ]; then
mkdir -p "$DEST" || { eend; return 1; }
DEST="$DEST/$app"
DEST="$DEST/$NAME"
if [ -d "$DEST" -a -d "$DEST/.git" ]; then
# mise à jour