correction d'un bug avec le nom final
This commit is contained in:
parent
d73c929594
commit
bd8c7f8646
|
@ -291,7 +291,7 @@ function uenv_install_profiles() {
|
|||
local actual_envdestdir="$(dirname -- "$envdest")"
|
||||
if [ ! -f "$envdest" ]; then
|
||||
estep "Installation du profil par défaut $envfile dans $(ppath "$actual_envdestdir")"
|
||||
/bin/cp -f "$envsrc" "$actual_envdestdir"
|
||||
/bin/cp -f "$envsrc" "$envdest"
|
||||
elif [ "$prefix" == "default" ]; then
|
||||
# ne jamais mettre à jour dans default
|
||||
if testdiff "$envdest" "$envsrc"; then
|
||||
|
@ -312,7 +312,7 @@ function uenv_install_profiles() {
|
|||
fi
|
||||
|
||||
if ask_yesno "Faut-il remplacer $(ppath "$envdest") par le profil par défaut?" O; then
|
||||
/bin/cp -f "$envsrc" "$actual_envdestdir"
|
||||
/bin/cp -f "$envsrc" "$envdest"
|
||||
fi
|
||||
fi
|
||||
done
|
||||
|
|
Loading…
Reference in New Issue