2021-07-12 12:24:29 -04:00
|
|
|
#!/bin/bash
|
|
|
|
# Thin wrapper on old grunt tasks to ease migrating.
|
|
|
|
|
|
|
|
set -e
|
2022-09-15 08:09:10 -04:00
|
|
|
set -x
|
2021-07-12 12:24:29 -04:00
|
|
|
TASK="$1"
|
|
|
|
shift 1
|
|
|
|
|
2022-02-01 11:39:55 -05:00
|
|
|
cd /overleaf/services/web
|
2021-07-13 12:03:14 -04:00
|
|
|
|
2021-07-12 12:24:29 -04:00
|
|
|
case "$TASK" in
|
|
|
|
user:create-admin)
|
2022-09-15 08:09:10 -04:00
|
|
|
echo "The grunt command is deprecated, run the create-user script using node instead"
|
2022-02-01 11:39:55 -05:00
|
|
|
node modules/server-ce-scripts/scripts/create-user --admin "$@"
|
2021-07-12 12:24:29 -04:00
|
|
|
;;
|
|
|
|
|
|
|
|
user:delete)
|
2022-09-15 08:09:10 -04:00
|
|
|
echo "The grunt command is deprecated, run the delete-user script using node instead"
|
2022-02-01 11:39:55 -05:00
|
|
|
node modules/server-ce-scripts/scripts/delete-user "$@"
|
2021-07-12 12:24:29 -04:00
|
|
|
;;
|
|
|
|
|
|
|
|
check:mongo)
|
2022-09-15 08:09:10 -04:00
|
|
|
echo "The grunt command is deprecated, run the check-mongodb script using node instead"
|
2022-02-01 11:39:55 -05:00
|
|
|
node modules/server-ce-scripts/scripts/check-mongodb
|
2021-07-12 12:24:29 -04:00
|
|
|
;;
|
|
|
|
|
|
|
|
check:redis)
|
2022-09-15 08:09:10 -04:00
|
|
|
echo "The grunt command is deprecated, run the check-redis script using node instead"
|
2022-02-01 11:39:55 -05:00
|
|
|
node modules/server-ce-scripts/scripts/check-redis
|
2021-07-12 12:24:29 -04:00
|
|
|
;;
|
|
|
|
|
|
|
|
*)
|
|
|
|
echo "Unknown task $TASK"
|
|
|
|
exit 1
|
|
|
|
;;
|
|
|
|
esac
|