An easier (but still “hacky”) way to do this should be:
→ sqlite3 seafile/Seafile/.seafile-data/repo.db
SQLite version 3.11.0 2016-02-15 17:29:24
Enter “.help” for usage hints.
sqlite> INSERT INTO “RepoProperty” VALUES(‘$REPOID’,‘sync-interval’,‘$SECONDS’);
sqlite>
or change the value
UPDATE “RepoProperty” SET value = ‘$SECONDS’ WHERE repo_id = ‘$REPOID’ AND key = ‘sync-interval’;