Remove arch-script files

diff --git a/arch-scripts/grep_xseg.sh b/arch-scripts/grep_xseg.sh
deleted file mode 100755 (executable)
index f7d108d..0000000
--- a/arch-scripts/grep_xseg.sh
+++ /dev/null
@@ -1,38 +0,0 @@
-#! /bin/bash
-
-###################
-# Initializations #
-###################
-
-set -e #exit on error
-
-# Find script location
-ARCH_SCRIPTS=$(dirname "$(readlink /proc/$$/fd/255)")
-
-#Include basic functions
-source $ARCH_SCRIPTS/init.sh
-
-SED_XSEG=$(echo "${XSEG}/" | sed 's/\//\\\//g')
-INCLUDE="--include=*.c --include=*.h"
-
-#############
-# Arguments #
-#############
-
-if [[ -z $1 ]]; then
-       red_echo "No parameters given."
-       exit 1
-elif [[ $1 = "-m" ]]; then
-       INCLUDE="--include=Makefile --include=*.mk --include=envsetup"
-       shift
-fi
-
-#############
-# Grep XSEG #
-#############
-
-grep -RIni --color=always ${INCLUDE} \
-       --exclude-dir=python \
-       -e $1 ${XSEG} | \
-       sed 's/'$SED_XSEG'//'
-

diff --git a/arch-scripts/init.sh b/arch-scripts/init.sh
deleted file mode 100644 (file)
index 7a66d19..0000000
--- a/arch-scripts/init.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#! /bin/bash
-
-##########################
-# Function definitions #
-##########################
-
-txtrst=$(tput sgr0)            # Reset text color
-txtred=$(tput setaf 1) # Make text red
-txtgrn=$(tput setaf 2) # Make text green
-
-red_echo(){
-       echo -e "${txtred}${1}${txtrst}"
-}
-
-grn_echo(){
-       echo -e "${txtgrn}${1}${txtrst}"
-}
-
-#ARCH_SCRIPTS must be already set by the caller function
-XSEG=$ARCH_SCRIPTS/../xseg
-

diff --git a/arch-scripts/make_xseg.sh b/arch-scripts/make_xseg.sh
deleted file mode 100755 (executable)
index add01b8..0000000
--- a/arch-scripts/make_xseg.sh
+++ /dev/null
@@ -1,40 +0,0 @@
-#! /bin/bash
-
-###################
-# Initializations #
-###################
-
-set -e  #exit on error
-
-# Find script location
-ARCH_SCRIPTS=$(dirname "$(readlink /proc/$$/fd/255)")
-
-#Include basic functions
-source $ARCH_SCRIPTS/init.sh
-
-PIPE="1>/dev/null"
-if [[ ! "$(logname)" = "root" ]]; then $SUDO=sudo; fi
-
-#############
-# Arguments #
-#############
-
-while [[ -n $1 ]]; do
-       if [[ $1 = '-c' ]]; then CLEAN=0        #Will initially call `make clean`
-       elif [[ $1 = '-d' ]]; then PIPE=""      #Will not pipe any output to /dev/null
-       else red_echo "${1}: Unknown command."
-       fi
-       shift
-done
-
-#############
-# Make XSEG #
-#############
-
-cd $XSEG
-
-if [[ $CLEAN ]]; then
-       eval make clean $PIPE
-fi
-eval make $PIPE
-eval $SUDO make install $PIPE