Merge pull request #46 from eMoflon/feature/add-cli-tools

Adds an installation task for additional CLI tools
eMoflon · May 17, 2024 · d92dce9 · d92dce9
2 parents e661590 + 276fc92
commit d92dce9
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/prov.sh b/prov.sh
@@ -118,6 +118,15 @@ sudo ln -s /usr/share/xubuntu/applications/emoflon-website.desktop /home/vagrant
 sudo ln -s /usr/share/xubuntu/applications/emoflon-tutorial.desktop /home/vagrant/Desktop/emoflon-tutorial.desktop
 sudo ln -s /usr/share/xubuntu/applications/emoflon-tests.desktop /home/vagrant/Desktop/emoflon-tests.desktop
 
+# Install additional CLI tools
+log "Install additional CLI tools."
+sudo apt-get install -yq \
+        git \
+        ncdu \
+        htop \
+        tmux \
+        rsync
+
 # Clean up
 log "Clean-up"
 sudo apt-get remove -yq \