1
0
Fork 0
mirror of https://github.com/overleaf/toolkit.git synced 2025-04-19 07:18:06 +02:00

Add full project history services to bin scripts

This commit is contained in:
Jakob Ackermann 2023-10-24 12:28:14 +01:00
parent 13fd14dde7
commit f271787d3f
No known key found for this signature in database
GPG key ID: 30C56800FCA3828A
3 changed files with 8 additions and 3 deletions

View file

@ -20,7 +20,7 @@ function usage() {
echo ""
echo "Services: chat, clsi, contacts, docstore, document-updater,"
echo " filestore, notifications, real-time, spelling,"
echo " tags, track-changes, web"
echo " tags, track-changes, web, project-history, history-v1"
echo ""
echo "Options:"
echo " -f follow log output"

View file

@ -17,7 +17,8 @@ fi
DEFAULT_TAIL_LINES=20
ALL_SERVICES=(chat clsi contacts docstore document-updater filestore git-bridge \
mongo notifications real-time redis spelling tags track-changes web)
mongo notifications real-time redis spelling tags track-changes web \
history-v1 project-history)
LOGS_PID_FILE="/tmp/toolkit-logs.$$.pid"
@ -26,7 +27,7 @@ function usage() {
Services: chat, clsi, contacts, docstore, document-updater, filestore,
git-bridge, mongo, notifications, real-time, redis, spelling,
tags, track-changes, web
tags, track-changes, web, history-v1, project-history
Options:
-f follow log output