m038/natascha-rieter-nl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add remote-deploy target: pull user repo and install plugins

Browse Source
This commit is contained in:
Mischa
2026-06-13 21:11:00 +02:00
parent c7877f3ce0
commit 9f798daaa3
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+3
View File
@@ -27,6 +27,9 @@ content-pull:
remote-install:
ssh $(SSH) "WEBROOT=$(WEBROOT) REPO=$(REPO) GRAV_VERSION=$(GRAV_VERSION) PLUGINS='$(shell cat plugins.txt | tr '\n' ' ')' GITEA_HOST=$(GITEA_HOST) GITEA_USER=$(GITEA_USER) GITEA_TOKEN=$(GITEA_TOKEN) bash -s" < scripts/server-install.sh
remote-deploy:
ssh $(SSH) "cd $(WEBROOT)/user && git pull && cd $(WEBROOT) && php bin/gpm install $(shell cat plugins.txt | tr '\n' ' ') -y"
remote-install-plugins:
ssh $(SSH) "cd $(WEBROOT) && php bin/gpm install $(shell cat plugins.txt | tr '\n' ' ') -y"
README.md
+5 -1
View File
@@ -72,7 +72,11 @@ make content-push # push local user/ changes to the user repo on Gitea
make content-pull # pull editor's content changes back locally
```
After `make content-push`, the Git Sync plugin on the server pulls the changes automatically via webhook.
After `make content-push`, trigger a deploy on the server:
```
make remote-deploy # pull latest user repo changes and install plugins on server
```
### Remote maintenance