mirror of
https://github.com/zulip/zulip.git
synced 2026-06-21 21:32:29 +08:00
For performance reasons, we spawn each linter in a separate OS thread. The downside of this is that all lints would end up in stdout without much visual separation, resulting in confusing error log. This commit introduce the `print_err` function, which shows which linter each line of lint is from. |
||
|---|---|---|
| .. | ||
| lib | ||
| nagios | ||
| setup | ||
| __init__.py | ||
| get-django-setting | ||
| purge-old-deployments | ||
| README.md | ||
| restart-server | ||
| upgrade-zulip | ||
| upgrade-zulip-from-git | ||
| zulip-puppet-apply | ||
This directory contains scripts that:
-
Generally do not require access to Django or the database (those are "management commands"), and thus are suitable to run operationally.
-
Are useful for managing a production deployment of Zulip (many are also used in a Zulip development environment, though development-only scripts live in
tools/).
For more details, see http://zulip.readthedocs.io/en/latest/directory-structure.html.