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