Guide: Using Pip functionality for Arch Linux

While trying to install pre-commit dependencies, Arch users may encounter error externally-managed-environment line.

A quick solution is to use virtual environment instead:

• Install the virtual environment via python3 -m venv .venv
• Enter virtual environment via source .venv/bin/activate
• Follow .pre-commit-config.yaml instructions

Note that commands such as make pre-commit should hence be run through the vitrual environment.

Do note that these commands might add pre-commit as a hook for all Juvix commits. Recall that removing all hooks is done by running rm -rf .git/hooks in the project environment.