diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-27 08:32:49 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-27 08:32:49 -0300 |
| commit | ab742a1ebc61d571bb9d13d7692ef7e245bba192 (patch) | |
| tree | 0329573f78946daac6fa62802d189ca53ef2e809 /src/infrastructure/scripts | |
| parent | Makefile: Rename "result" to "system" (diff) | |
| download | server-ab742a1ebc61d571bb9d13d7692ef7e245bba192.tar.gz server-ab742a1ebc61d571bb9d13d7692ef7e245bba192.tar.xz | |
Build HTML and install it via CI
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show ab742a1ebc61d571bb9d13d7692ef7e245bba192
git notes --ref=refs/notes/ci-data show ab742a1ebc61d571bb9d13d7692ef7e245bba192
Exit status: 0
Duration: 27
Diffstat (limited to 'src/infrastructure/scripts')
| -rwxr-xr-x | src/infrastructure/scripts/reconfigure.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/infrastructure/scripts/reconfigure.sh b/src/infrastructure/scripts/reconfigure.sh index 51c7de8..4936e07 100755 --- a/src/infrastructure/scripts/reconfigure.sh +++ b/src/infrastructure/scripts/reconfigure.sh @@ -130,5 +130,10 @@ else sudo -i guix system -c$NPROC -v3 reconfigure /etc/guix/system.scm + rsync \ + --chmod=D775,F664 \ + -a \ + --exclude='dev/ci/*' \ + /run/current-system/profile/share/doc/servers/ /srv/www/s/servers/ deploy fi |