From f28d0e6719ab487612ef37dab2276919ac140455 Mon Sep 17 00:00:00 2001

From: =?UTF-8?q?Jaakko=20Kera=CC=88nen?= jaakko.keranen@iki.fi

Date: Fri, 11 Aug 2023 14:39:38 +0300

Subject: [PATCH 1/1] TUI: Build script has a separate sudo install option

build-tui.sh | 8 ++++++--

1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/build-tui.sh b/build-tui.sh

index e7a57ce7..dae669cb 100755

--- a/build-tui.sh

+++ b/build-tui.sh

@@ -105,9 +105,13 @@ cmake --build . || exit 1

echo "-----"

echo "clagrange and resources.lgr can be found in 'build-tui'."

-echo "Do you want to install them to ${INSTALL_PREFIX}? (sudo) [yN]"

+echo "Do you want to install them to ${INSTALL_PREFIX}? (s=sudo) [syN]"

read CONFIRMED

-if [ "${CONFIRMED}" = "y" ]; then

+if [ "${CONFIRMED}" = "s" ]; then

 sudo cmake --install .

 exit

fi

+if [ "${CONFIRMED}" = "y" ]; then

• cmake --install .
  

• exit

+fi

--

2.25.1