From e2fa3cd890511971e2b051d48c8eb5ed79981ac8 Mon Sep 17 00:00:00 2001 From: giwaov Date: Sun, 8 Mar 2026 23:06:08 +0100 Subject: [PATCH] docs: fix incorrect Linux PATH configuration for midenup Fixes #181 The previous documentation used \/midenup/bin which is incorrect: 1. The variable is XDG_DATA_HOME, not XDG_DATA_DIR 2. On most Linux systems, XDG_DATA_HOME is not set, so midenup defaults to ~/.local/share/midenup Changes: - Corrected Linux/Ubuntu PATH to use \C:\Users\DELL/.local/share/midenup - Added MIDENUP_HOME export for consistency - Added opt/ path (required for some toolchain binaries) - Added tip about XDG Base Directory behavior - Enhanced troubleshooting section with verification steps - Added Linux expected output for which miden - Applied fixes to all doc versions (next, v0.12, v0.11) --- .../builder/quick-start/setup/installation.md | 50 +++++++++++++++++-- .../quick-start/setup/installation.md | 50 +++++++++++++++++-- .../quick-start/setup/installation.md | 50 +++++++++++++++++-- 3 files changed, 135 insertions(+), 15 deletions(-) diff --git a/docs/builder/quick-start/setup/installation.md b/docs/builder/quick-start/setup/installation.md index e67b3417..210850b6 100644 --- a/docs/builder/quick-start/setup/installation.md +++ b/docs/builder/quick-start/setup/installation.md @@ -113,17 +113,35 @@ Then add it to your shell configuration: **For Zsh (macOS default):** ```bash title="~/.zshrc" -export PATH="/Users/$(whoami)/Library/Application Support/midenup/bin:$PATH" +export MIDENUP_HOME="$HOME/Library/Application Support/midenup" +export PATH="$MIDENUP_HOME/bin:$PATH" +export PATH="$MIDENUP_HOME/opt:$PATH" +``` + +After editing, reload your shell: + +```bash title=">_ Terminal" source ~/.zshrc ``` -**For Bash:** +**For Bash (Linux/Ubuntu):** ```bash title="~/.bashrc" -export PATH="$XDG_DATA_DIR/midenup/bin:$PATH" +export MIDENUP_HOME="$HOME/.local/share/midenup" +export PATH="$MIDENUP_HOME/bin:$PATH" +export PATH="$MIDENUP_HOME/opt:$PATH" +``` + +After editing, reload your shell: + +```bash title=">_ Terminal" source ~/.bashrc ``` +:::tip +On Linux, `midenup` uses XDG Base Directory paths. If `$XDG_DATA_HOME` is set, midenup installs to `$XDG_DATA_HOME/midenup`. Otherwise, it defaults to `~/.local/share/midenup`. +::: + **Install Miden Toolchain** Install the latest stable Miden components: @@ -156,10 +174,16 @@ which miden
Expected output +**macOS:** ```text /Users//Library/Application Support/midenup/bin/miden ``` +**Linux:** +```text +/home//.local/share/midenup/bin/miden +``` +
Test by creating a new project: @@ -174,12 +198,28 @@ If successful, you'll see a new directory with Miden project files. **"miden: command not found"** -This means the PATH isn't configured correctly. Verify midenup's bin directory is in your PATH: +This means the PATH isn't configured correctly. First, verify midenup installed successfully: + +```bash title=">_ Terminal" +ls -la ~/.local/share/midenup/bin/ # Linux +ls -la ~/Library/Application\ Support/midenup/bin/ # macOS +``` + +You should see the `miden` executable. Then verify your PATH includes the midenup bin directory: ```bash title=">_ Terminal" echo $PATH | grep midenup ``` -If missing, re-add the export command to your shell configuration and reload it. +If missing, add the PATH configuration to your shell profile (see [Configure PATH](#configure-path) above) and reload it: + +```bash title=">_ Terminal" +source ~/.bashrc # Linux +source ~/.zshrc # macOS +``` + +**Installation takes too long** + +Building Miden components from source can take 30-60 minutes. This is normal for first-time installations. --- diff --git a/versioned_docs/version-0.11/quick-start/setup/installation.md b/versioned_docs/version-0.11/quick-start/setup/installation.md index 64949122..eec9de20 100644 --- a/versioned_docs/version-0.11/quick-start/setup/installation.md +++ b/versioned_docs/version-0.11/quick-start/setup/installation.md @@ -113,17 +113,35 @@ Then add it to your shell configuration: **For Zsh (macOS default):** ```bash title="~/.zshrc" -export PATH="/Users/$(whoami)/Library/Application Support/midenup/bin:$PATH" +export MIDENUP_HOME="$HOME/Library/Application Support/midenup" +export PATH="$MIDENUP_HOME/bin:$PATH" +export PATH="$MIDENUP_HOME/opt:$PATH" +``` + +After editing, reload your shell: + +```bash title=">_ Terminal" source ~/.zshrc ``` -**For Bash:** +**For Bash (Linux/Ubuntu):** ```bash title="~/.bashrc" -export PATH="$XDG_DATA_DIR/midenup/bin:$PATH" +export MIDENUP_HOME="$HOME/.local/share/midenup" +export PATH="$MIDENUP_HOME/bin:$PATH" +export PATH="$MIDENUP_HOME/opt:$PATH" +``` + +After editing, reload your shell: + +```bash title=">_ Terminal" source ~/.bashrc ``` +:::tip +On Linux, `midenup` uses XDG Base Directory paths. If `$XDG_DATA_HOME` is set, midenup installs to `$XDG_DATA_HOME/midenup`. Otherwise, it defaults to `~/.local/share/midenup`. +::: + **Install Miden Toolchain** Install the latest stable Miden components: @@ -170,10 +188,16 @@ which miden
Expected output +**macOS:** ```text /Users//Library/Application Support/midenup/bin/miden ``` +**Linux:** +```text +/home//.local/share/midenup/bin/miden +``` +
Test by creating a new project: @@ -188,12 +212,28 @@ If successful, you'll see a new directory with Miden project files. **"miden: command not found"** -This means the PATH isn't configured correctly. Verify midenup's bin directory is in your PATH: +This means the PATH isn't configured correctly. First, verify midenup installed successfully: + +```bash title=">_ Terminal" +ls -la ~/.local/share/midenup/bin/ # Linux +ls -la ~/Library/Application\ Support/midenup/bin/ # macOS +``` + +You should see the `miden` executable. Then verify your PATH includes the midenup bin directory: ```bash title=">_ Terminal" echo $PATH | grep midenup ``` -If missing, re-add the export command to your shell configuration and reload it. +If missing, add the PATH configuration to your shell profile (see [Configure PATH](#configure-path) above) and reload it: + +```bash title=">_ Terminal" +source ~/.bashrc # Linux +source ~/.zshrc # macOS +``` + +**Installation takes too long** + +Building Miden components from source can take 30-60 minutes. This is normal for first-time installations. --- diff --git a/versioned_docs/version-0.12/quick-start/setup/installation.md b/versioned_docs/version-0.12/quick-start/setup/installation.md index e67b3417..210850b6 100644 --- a/versioned_docs/version-0.12/quick-start/setup/installation.md +++ b/versioned_docs/version-0.12/quick-start/setup/installation.md @@ -113,17 +113,35 @@ Then add it to your shell configuration: **For Zsh (macOS default):** ```bash title="~/.zshrc" -export PATH="/Users/$(whoami)/Library/Application Support/midenup/bin:$PATH" +export MIDENUP_HOME="$HOME/Library/Application Support/midenup" +export PATH="$MIDENUP_HOME/bin:$PATH" +export PATH="$MIDENUP_HOME/opt:$PATH" +``` + +After editing, reload your shell: + +```bash title=">_ Terminal" source ~/.zshrc ``` -**For Bash:** +**For Bash (Linux/Ubuntu):** ```bash title="~/.bashrc" -export PATH="$XDG_DATA_DIR/midenup/bin:$PATH" +export MIDENUP_HOME="$HOME/.local/share/midenup" +export PATH="$MIDENUP_HOME/bin:$PATH" +export PATH="$MIDENUP_HOME/opt:$PATH" +``` + +After editing, reload your shell: + +```bash title=">_ Terminal" source ~/.bashrc ``` +:::tip +On Linux, `midenup` uses XDG Base Directory paths. If `$XDG_DATA_HOME` is set, midenup installs to `$XDG_DATA_HOME/midenup`. Otherwise, it defaults to `~/.local/share/midenup`. +::: + **Install Miden Toolchain** Install the latest stable Miden components: @@ -156,10 +174,16 @@ which miden
Expected output +**macOS:** ```text /Users//Library/Application Support/midenup/bin/miden ``` +**Linux:** +```text +/home//.local/share/midenup/bin/miden +``` +
Test by creating a new project: @@ -174,12 +198,28 @@ If successful, you'll see a new directory with Miden project files. **"miden: command not found"** -This means the PATH isn't configured correctly. Verify midenup's bin directory is in your PATH: +This means the PATH isn't configured correctly. First, verify midenup installed successfully: + +```bash title=">_ Terminal" +ls -la ~/.local/share/midenup/bin/ # Linux +ls -la ~/Library/Application\ Support/midenup/bin/ # macOS +``` + +You should see the `miden` executable. Then verify your PATH includes the midenup bin directory: ```bash title=">_ Terminal" echo $PATH | grep midenup ``` -If missing, re-add the export command to your shell configuration and reload it. +If missing, add the PATH configuration to your shell profile (see [Configure PATH](#configure-path) above) and reload it: + +```bash title=">_ Terminal" +source ~/.bashrc # Linux +source ~/.zshrc # macOS +``` + +**Installation takes too long** + +Building Miden components from source can take 30-60 minutes. This is normal for first-time installations. ---