diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-28 14:30:49 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-28 14:30:49 -0400 |
| commit | 8e18659a14d74da98fc771fd2e0f25910d24e02d (patch) | |
| tree | d2e837fc8cac5f053122a584653b9ec6fefaef7e | |
| parent | a3ea95ab81fa8fd3a2782792ecc507a0b6293f12 (diff) | |
Fix suggestion for configuring $PATH
| -rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 51fc3677..b89a31f6 100755 --- a/configure.sh +++ b/configure.sh @@ -22,7 +22,7 @@ PREFIX="${PREFIX/#\~/$HOME}" if ! echo "$PATH" | tr ':' '\n' | grep -qx "$PREFIX/bin"; then error "Your \$PATH does not include this prefix, so you won't be able to run tomo!" \ - "Please put this in your .profile or .bashrc: export PATH=\"$PREFIX:\$PATH\"" + "Please put this in your .profile or .bashrc: export PATH=\"$PREFIX/bin:\$PATH\"" fi default_home="~/.local/share/tomo" |