2023-08-23 11:01:30 -04:00
|
|
|
#!/bin/sh
|
|
|
|
|
# website deployment script
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
2023-09-03 20:50:07 -04:00
|
|
|
git -C /home/{{ website_username }}/website pull
|
2023-09-26 18:44:27 -04:00
|
|
|
OUTPUT={{ website_path }} make -C /home/{{ website_username }}/website deploy
|
