Merge branch 'develop' into develop

This commit is contained in:
Joao A. Candido Ramos 2021-04-07 20:35:18 +02:00 committed by GitHub
commit 9bc30d69f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 2 deletions

View File

@ -1,2 +1,2 @@
language = "python3"
run = "pip install -r requirements.txt && ./run"
run = "./run"

View File

@ -67,7 +67,7 @@ COPY whoogle.env .
EXPOSE $EXPOSE_PORT
HEALTHCHECK --interval=5m --timeout=5s \
HEALTHCHECK --interval=30s --timeout=5s \
CMD wget --no-verbose --tries=1 http://localhost:${EXPOSE_PORT}/ || exit 1
CMD misc/tor/start-tor.sh & ./run

View File

@ -68,6 +68,8 @@ Provides:
### B) [Repl.it](https://repl.it)
[![Run on Repl.it](https://repl.it/badge/github/benbusby/whoogle-search)](https://repl.it/github/benbusby/whoogle-search)
*Note: Requires a (free) Replit account*
Provides:
- Free deployment of app
- Free HTTPS url (https://\<app name\>.\<username\>\.repl\.co)