3 Commits

Author	SHA1	Message	Date
Maximilian Hils	e9a5a26bf0	./dev: echo what we have done	2015-03-14 03:08:34 +01:00
Maximilian Hils	f815525f18	simplify virtualenv ... - add dev.bat for Windows users - remove ~/.pipcache creation. If that causes issues with PyInstaller, we should use pip --no-cache-dir there or rm -r pip.locations.USER_CACHE_DIR. - remove superfluous pip install calls.	2015-03-14 02:33:21 +01:00
Aldo Cortesi	40366fa94e	Virtualenv is the one and only recommended dev environment ... - Create a "dev" script to create a virtualenv-based dev environment - Update the docs to remove non-virtualenv install recommendations - Update osx-binaries generation to use virtualenv TODO: - The dev script or an equivalent should be made to work on Windows - We still can't remove the annoying top-level command scripts, because pyinstaller doesn't support entry points. Once it does, they can go.	2015-03-12 22:12:15 +11:00