Commit 16f030d3 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Simple ways are the best - the new Update-TASTE.sh machinery.

The update process will simply enumerate inside the install/ folder,
and execute the scripts there in sequence.  This way each of the TASTE
maintainers is responsible for his own stuff (e.g. making sure he/she
cleans up the 'leftovers' of previous installs and installs only the
new ones, etc).

If any of the scripts exits with non-zero, Update-TASTE.sh stops.
parent bc188a66
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
for INSTALL_SCRIPT in install/* ; do
${INSTALL_SCRIPT} || { echo Failed in execution of "${INSTALL_SCRIPT}" ; exit 1 ; }
done
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/../dmt || exit 1
pip install --user --upgrade . || exit 1
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment