dk: option -j pour désactiver le cache
This commit is contained in:
parent
45c6422e62
commit
307fa4827a
5
dk
5
dk
|
@ -120,6 +120,7 @@ function default_docker_build() {
|
|||
replace_build_args+=(-t "$NAME:$tag")
|
||||
done
|
||||
docker build \
|
||||
${NO_CACHE:+--no-cache} \
|
||||
"${replace_env_args[@]}" "${env_args[@]}" \
|
||||
"${replace_build_args[@]}" "${build_args[@]}" \
|
||||
"$@" "$CTXDIR"
|
||||
|
@ -285,7 +286,7 @@ set_defaults dk
|
|||
export PROFILE
|
||||
|
||||
if progexists docker-machine; then
|
||||
setx active_dm=docker-machine active
|
||||
setx active_dm=docker-machine active 2>/dev/null
|
||||
for dm_profile in "${DM_PROFILES[@]}"; do
|
||||
splitpair "$dm_profile" dm profile
|
||||
if [ "$dm" == "$active_dm" ]; then
|
||||
|
@ -296,12 +297,14 @@ if progexists docker-machine; then
|
|||
fi
|
||||
|
||||
chdir=
|
||||
NO_CACHE=
|
||||
args=(
|
||||
--help '$exit_with display_help'
|
||||
-d:,--chdir: chdir=
|
||||
-p:,--profile: PROFILE=
|
||||
-P,--prod PROFILE=prod
|
||||
-T,--test PROFILE=test
|
||||
-j,--no-cache NO_CACHE=1
|
||||
)
|
||||
parse_args "$@"; set -- "${args[@]}"
|
||||
|
||||
|
|
Loading…
Reference in New Issue