From 0cf362febe4c038ce0ae85ac820bcfd58f11e746 Mon Sep 17 00:00:00 2001 From: Danilo Weber Nunes Date: Tue, 14 May 2019 00:02:43 -0300 Subject: [PATCH 1/2] Added configure script. --- configure | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 configure diff --git a/configure b/configure new file mode 100755 index 0000000..dc8cb23 --- /dev/null +++ b/configure @@ -0,0 +1,20 @@ +#!/bin/bash + +########## Enviroment Variable Configuration ########## +# adding the environment variable of the LibOPT library to the .bashrc +# checking if the Enviroment variable is already configured +if [ $OPT_DIR ] +then + echo "# The Enviroment variable OPT_DIR=${OPT_DIR} is already seted, nothing to do here." +else + OPT_DIR=$(pwd) + echo "Adding Enviroment variable to ${OPT_DIR}." + echo "" >> ~/.bashrc + echo "# added by LibOPT" >> ~/.bashrc + echo "export OPT_DIR=${OPT_DIR}" >> ~/.bashrc + + echo "Please run the following on your current shell:" + echo "source ~/.bashrc" + echo "Or close this shell session and open a new one." +fi +#################################################### From 297a139a7ea817e0f41c565aaac2303d65c85718 Mon Sep 17 00:00:00 2001 From: Danilo Weber Nunes Date: Tue, 14 May 2019 22:30:54 -0300 Subject: [PATCH 2/2] Corrected misspellings --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index dc8cb23..872fb57 100755 --- a/configure +++ b/configure @@ -5,7 +5,7 @@ # checking if the Enviroment variable is already configured if [ $OPT_DIR ] then - echo "# The Enviroment variable OPT_DIR=${OPT_DIR} is already seted, nothing to do here." + echo "# The Enviroment variable OPT_DIR=${OPT_DIR} is already set, nothing to do here." else OPT_DIR=$(pwd) echo "Adding Enviroment variable to ${OPT_DIR}."