From 5c4e7817477f3c0abf9fa8040201612e6fcdc288 Mon Sep 17 00:00:00 2001
From: "Francois B. (Makoto)" <francois@makotonoblog.be>
Date: Sat, 25 Apr 2020 23:49:58 +0200
Subject: [PATCH] menu entry bug fixed

---
 menus_functions_ub1804.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/menus_functions_ub1804.sh b/menus_functions_ub1804.sh
index 5ff8363..5a82a36 100644
--- a/menus_functions_ub1804.sh
+++ b/menus_functions_ub1804.sh
@@ -223,7 +223,7 @@ function showDevInstallMenu () {
     "boostnotes" "Boostnotes Markdown wiki app" \
     "compass" "MongoDB Compass GUI" \
     "gitkraken" "Gitkraken git gui" \
-    "Vagrant" "Vagrant" \
+    "vagrant" "Vagrant" \
     "Back" "Back"  3>&1 1>&2 2>&3)
 
     case $devInstallMenuOptions in