168 Commits

Author	SHA1	Message	Date
Eklavya Sharma	852c49a44e	Factor out venv-installation into a script.	2016-07-20 14:18:51 -07:00
Tim Abbott	78a0c7c557	tools: Rewrite install-server to not hardcode configuration. ... Now install-aws-server is a reusable script for setting up a Zulip role server in AWS, without any hardcoded configuration.	2016-07-19 20:12:43 -07:00
Tim Abbott	5c92639f81	Move mypy requirements to requirements/ directory.	2016-06-18 16:41:40 -07:00
James Porter	2a8e8129d1	Make emoji_dump delete old ttx files on start.	2016-06-04 17:05:48 -07:00
James Porter	f5f2d72178	Wrap main bit of emoji_dump.py in a main function.	2016-06-04 17:05:48 -07:00
James Porter	9d58624359	Minor reformatting of emoji_dump.py.	2016-06-04 17:05:48 -07:00
James Porter	d008d96597	Update Emoji set.	2016-06-04 17:05:48 -07:00
Reid Barton	0b7852f081	Generate mypy coverage report for travis + coveralls.	2016-06-04 13:01:19 -07:00
Tim Abbott	5d5f1f46dc	Upgrade mypy and typed_ast to latest versions.	2016-06-03 18:59:55 -07:00
Umair Khan	072551a94e	Fix most redownloading in 'vagrant reload --provision'. ... Fixes #264.	2016-06-02 22:32:56 -07:00
Eklavya Sharma	149938d468	Change shebangs from python2.7 to python.	2016-05-29 05:03:08 -07:00
Umair Khan	0278ce9102	Move tools/py3_test_reqs.txt to tools/setup/. ... Fixes #708	2016-05-26 18:43:24 +05:00
Umair Khan	57f477dd8b	Move tools/install-phantomjs to tools/setup/.	2016-05-26 18:28:14 +05:00
Umair Khan	1161862b07	Move tools/emoji_dump to tools/setup/.	2016-05-26 18:28:14 +05:00
Umair Khan	b85526576a	Move tools/postgres-init-dev-db to tools/setup/.	2016-05-26 18:28:10 +05:00
Umair Khan	d425e05a02	Move tools/generate-fixtures to tools/setup/.	2016-05-26 17:54:32 +05:00
Umair Khan	8335bd672f	Move tools/generate-test-credentials to tools/setup/.	2016-05-26 17:54:28 +05:00
Umair Khan	d5f3a82284	Move tools/download-zxcvbn to tools/setup.	2016-05-26 16:05:23 +05:00