From 8e18659a14d74da98fc771fd2e0f25910d24e02d Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 28 Apr 2025 14:30:49 -0400
Subject: Fix suggestion for configuring $PATH

---
 configure.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
-- 
cgit v1.2.3