Rename PHP entrypoint

dev
gravel 7 months ago
parent 4ec9265043
commit 8e9225ef54
Signed by: gravel
GPG Key ID: C0538F3C906B308F

@ -10,13 +10,13 @@ list:
grep "^[^[:space:]]*:" Makefile --before-context=1 --group-separator=""
## Using make dependencies is duplicating behaviour but reads better.
# /bin/php php/update-listing.php
# /bin/php php/update-all.php
# Refresh listing and generate HTML.
sco: fetch html
# Refresh listing, generate HTML and update listing provider.
all:
/bin/php php/update-listing.php $(FLAGS)
/bin/php php/update-all.php $(FLAGS)
# Fetch room listing.
fetch:

@ -5,4 +5,4 @@ Description=Scrape every known source for Session Communities and put the data t
[Service]
WorkingDirectory=/home/session/sessioncommunities.online
User=session
ExecStart=/usr/bin/php php/update-listing.php
ExecStart=/usr/bin/php php/update-all.php

Loading…
Cancel
Save