Skip to content

docs: fix incorrect Linux PATH configuration for midenup#194

Open
giwaov wants to merge 1 commit into0xMiden:mainfrom
giwaov:fix/ubuntu-path-issue-181
Open

docs: fix incorrect Linux PATH configuration for midenup#194
giwaov wants to merge 1 commit into0xMiden:mainfrom
giwaov:fix/ubuntu-path-issue-181

Conversation

@giwaov
Copy link

@giwaov giwaov commented Mar 8, 2026

Fixes #181

Fixes 0xMiden#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)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PATH not configured after midenup install stable on Ubuntu

1 participant