diff options
Diffstat (limited to 'src/infrastructure/scripts/reconfigure.sh')
-rwxr-xr-x | src/infrastructure/scripts/reconfigure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/infrastructure/scripts/reconfigure.sh b/src/infrastructure/scripts/reconfigure.sh index ed3da6f..b11bc72 100755 --- a/src/infrastructure/scripts/reconfigure.sh +++ b/src/infrastructure/scripts/reconfigure.sh @@ -133,11 +133,11 @@ else sudo -i guix system -c$NPROC -v3 reconfigure /etc/guix/system.scm sudo -u deployer rsync \ + --delete \ --chmod=D775,F664 \ --chown=deployer:deployer \ -a \ - --exclude='dev/ci/*' \ - /run/current-system/profile/share/doc/"$NAME"/ "$HTML_OUTDIR" + /run/current-system/profile/share/doc/"$NAME"/ "$HTML_OUTDIR_TOP"/ deploy fi |