summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/hacking/index.rst17
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/hacking/index.rst b/docs/hacking/index.rst
index 8bff694..20a55d5 100644
--- a/docs/hacking/index.rst
+++ b/docs/hacking/index.rst
@@ -38,6 +38,23 @@ parent folder.
Setting up the development environment
--------------------------------------
+Automated procedure
+~~~~~~~~~~~~~~~~~~~
+
+There is an automated script that runs, sequentially, all the commands in the
+section below. In debian-based systems, you can get a fully working development
+environment with::
+
+ make dev-bootstrap
+
+.. note:: the bootstrap script is, at the moment, quite opinionated. for
+ instance, it checks out the bitmask-dev repo under ~/leap folder, and
+ it assumes you are using zsh. if you think it should allow more
+ freedom of choices, feel free to open a pull request.
+
+Manual procedure
+~~~~~~~~~~~~~~~~
+
Install the system-wide dependencies. For debian-based systems::
sudo apt install build-essential python-dev python-virtualenv \