From a1fbaed6e933402fb6554a08a872fc4d0034982f Mon Sep 17 00:00:00 2001 From: Eric Coissac Date: Thu, 2 Feb 2023 13:36:55 +0100 Subject: [PATCH] install script with options of install directory and command prefix --- install_obitools.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/install_obitools.sh b/install_obitools.sh index b6e0c21..60636f9 100755 --- a/install_obitools.sh +++ b/install_obitools.sh @@ -111,7 +111,8 @@ else fi (cp build/* "${INSTALL_DIR}/bin" 2> /dev/null) \ - || sudo cp build/* "${INSTALL_DIR}/bin" + || (echo "Please enter your password for installing obitools in ${INSTALL_DIR}" + sudo cp build/* "${INSTALL_DIR}/bin") popd