Create a fresh clone of Kaldi every time and remove Kaldi on uninstall

DragonComputer · Oct 19, 2017 · 8019008 · 8019008
1 parent 81d4694
commit 8019008
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 12 deletions.
diff --git a/debian/postinst b/debian/postinst
@@ -13,13 +13,12 @@ if [ $AVAILABLE_CORES -gt 1 ]; then
   AVAILABLE_CORES=$(expr $AVAILABLE_CORES - 1)
 fi
 
-if [ ! -d "$KALDI_DIRECTORY" ]; then
-  mkdir $KALDI_DIRECTORY
-  cd $KALDI_DIRECTORY
-  git clone https://github.com/kaldi-asr/kaldi.git .
-else
-  cd $KALDI_DIRECTORY
+if [ -d "$KALDI_DIRECTORY" ]; then
+  rm -rf $KALDI_DIRECTORY
 fi
+mkdir $KALDI_DIRECTORY
+cd $KALDI_DIRECTORY
+git clone https://github.com/kaldi-asr/kaldi.git .
 
 cd tools/
 extras/check_dependencies.sh

diff --git a/debian/postrm b/debian/postrm
@@ -0,0 +1,2 @@
+KALDI_DIRECTORY=/usr/share/kaldi
+rm -rf $KALDI_DIRECTORY
diff --git a/install-kaldi.sh b/install-kaldi.sh
@@ -8,13 +8,12 @@ if [ $AVAILABLE_CORES -gt 1 ]; then
   AVAILABLE_CORES=$(expr $AVAILABLE_CORES - 1)
 fi
 
-if [ ! -d "$KALDI_DIRECTORY" ]; then
-  mkdir $KALDI_DIRECTORY
-  cd $KALDI_DIRECTORY
-  git clone https://github.com/kaldi-asr/kaldi.git .
-else
-  cd $KALDI_DIRECTORY
+if [ -d "$KALDI_DIRECTORY" ]; then
+  rm -rf $KALDI_DIRECTORY
 fi
+mkdir $KALDI_DIRECTORY
+cd $KALDI_DIRECTORY
+git clone https://github.com/kaldi-asr/kaldi.git .
 
 cd tools/
 extras/check_dependencies.sh