From 679b94b11eca5ee2ea4b2df2768316b390f081c3 Mon Sep 17 00:00:00 2001
From: Gilles Grandou <gilles@grandou.net>
Date: Sat, 1 May 2021 16:23:56 +0200
Subject: [PATCH] install - warn if bindir is not in PATH

---
 install | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/install b/install
index ed18fc3..b41c58d 100755
--- a/install
+++ b/install
@@ -66,6 +66,14 @@ while [ $# -gt 0 ]; do
     shift
 done
 
+bin_dir=$(realpath $bin_dir)
+config_dir=$(realpath $config_dir)
+
+if [[ ":$PATH:" != *":$bin_dir:"* ]]; then
+    echo "WARNING: $bin_dir is not in your PATH, runon will not be automatically found."
+    echo
+fi
+
 set -e
 
 if [ "$op" = "install" ]; then