From a6cb4423bb0a2a221e82019e5db6adf8b215684f Mon Sep 17 00:00:00 2001 From: "Xida Ren (Cedar)" Date: Thu, 21 Nov 2024 19:21:14 -0500 Subject: [PATCH] Fix some linux developer_guide.md comments that didn't show up at time of merge (#588) [skip ci] Clicked merge before some of #575 's comments showed up. --- docs/developer_guide.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/developer_guide.md b/docs/developer_guide.md index 6cd5f83a8..73aee61f7 100644 --- a/docs/developer_guide.md +++ b/docs/developer_guide.md @@ -15,8 +15,8 @@ sudo apt update && sudo apt install -y clang lld Install: -``` -python-is-python3 python3-venv python3-dev +```bash +sudo apt install python-is-python3 python3-venv python3-dev ```
@@ -24,6 +24,8 @@ python-is-python3 python3-venv python3-dev Or, alternatively, use `pyenv` to manage a separate python installation for more control over its version: +The following instructions are taken from pyenv's guide here: https://github.com/pyenv/pyenv?tab=readme-ov-file#a-getting-pyenv + First, install pyenv and its dependencies. ```bash