diff options
| author | André Glüpker <git@wgmd.de> | 2024-05-01 10:25:00 +0200 |
|---|---|---|
| committer | André Glüpker <git@wgmd.de> | 2024-05-01 10:25:00 +0200 |
| commit | e3c5e10b118961567a7c0b3f200b0d626cf1bbec (patch) | |
| tree | b1fad17ae28d5ce78dc035835aa91523224b8594 | |
| parent | 15a2cd3c1a84ab94cbf8df30dcb7ed30502883fc (diff) | |
| download | rss-feeds-e3c5e10b118961567a7c0b3f200b0d626cf1bbec.tar.gz rss-feeds-e3c5e10b118961567a7c0b3f200b0d626cf1bbec.tar.bz2 rss-feeds-e3c5e10b118961567a7c0b3f200b0d626cf1bbec.zip | |
Improve deploy script
| -rwxr-xr-x | deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,3 +1,4 @@ #!/usr/bin/env bash -scp *.py wgmd.de:feeds/ +rsync --delete -a *.py wgmd.de:feeds/ +ssh wgmd.de touch ~/feeds/wsgi.py # trigger reload |