diff options
Diffstat (limited to 'install.sh')
| -rwxr-xr-x | install.sh | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -61,5 +61,21 @@ fi install -Dm644 "$repo/templates/terminal/kitty-theme.conf" \ "$HOME/.config/kitty/current-theme.conf" +# Stage the homepage stylesheet on the dashboard host. Staged, not installed: +# /opt/homepage/config is root-owned and this script does not hold root there. +# Never fatal, and never slow: a laptop away from that network must still be +# able to install the local theme, so the connect timeout is short and any +# failure is a warning. +if command -v scp >/dev/null 2>&1; then + if scp -q -o ConnectTimeout=5 -o BatchMode=yes \ + "$repo/templates/homepage/custom.css" \ + homepage:hp-stage/custom.css 2>/dev/null; then + echo "homepage: staged custom.css ($scheme)" + echo " finish with: ssh homepage 'sudo cp ~/hp-stage/custom.css /opt/homepage/config/custom.css'" + else + echo "homepage: unreachable, skipped" >&2 + fi +fi + echo "installed:" ls -l "$target" "$HOME/bin/udt-accent" |
