pip --upgrade DOES NOT always work.

1dbeaa60 · Thanassis Tsiodras · ed630616 · 1dbeaa60
Commit 1dbeaa60 authored Jul 21, 2017 by Thanassis Tsiodras
Show whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

install/10_dmt.sh install/10_dmt.sh +5 -0

No files found.
--- a/install/10_dmt.sh
+++ b/install/10_dmt.sh
@@ -15,6 +15,11 @@ if [ ${TREE_CLEAN} -eq 0 -a "${HEAD}" == "${VERSION_INSTALLED}" ] ; then
    exit 0
 fi

+# Unfortunately, the --upgrade DOES NOT ALWAYS WORK.
+# Uninstall first...
+echo y | pip3 uninstall  dmt
+
+# ...then install the new version:
 pip3 install --user --upgrade . || exit 1

 # Add .local/bin to PATH