Split hosts: media (gateway at /), files, clips, sync; live gains /dock, /dock/clock, /dump, /me, /time
configure.py: three new host roles (files/sync/clips) in --full, --hosts, .env, Caddy generator; main host serves about/ at the root (/about* redirects); /time only where it is fetched same-origin. about/index.html links across hosts; addCommunityMediaServer.sh asks for the new names; Caddyfile.example regenerated; README/FRESH-INSTALL/HOSTNAME-CHANGE (procedure C)/STATUS updated. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
@@ -2,7 +2,7 @@
|
||||
# Build the live portal here and push the static files to /srv/live on the server. Caddy serves them as-is.
|
||||
set -euo pipefail
|
||||
cd "$(dirname "$0")/live"
|
||||
HOST="${1:-debian@ovh1.dumpstervigilantes.rip}"
|
||||
HOST="${1:-debian@media.dumpstervigilantes.rip}" # any name of the box works for ssh
|
||||
npm install --no-audit --no-fund --loglevel=error
|
||||
npm run build
|
||||
ssh "$HOST" 'sudo install -d -o "$(id -u)" -g "$(id -g)" /srv/live && rm -rf /srv/live/*'
|
||||
|
||||
Reference in New Issue
Block a user