From 575cd9eed21443d78ceda5d73d56fde66307a703 Mon Sep 17 00:00:00 2001 From: Djan GICQUEL <> Date: Mon, 2 May 2022 08:13:55 +0200 Subject: [PATCH] changement de menu --- profile-manager.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profile-manager.sh b/profile-manager.sh index 884fad8..bbb4eb0 100755 --- a/profile-manager.sh +++ b/profile-manager.sh @@ -41,7 +41,7 @@ mkdir -p $dossierprofil && cd $dossierprofil choixmenu=$(echo -e "\ cp\nCréer un nouveau profil/dépôt\n\ -ajd\nAjouter un dépôt\n\ +ajd\nAjouter un dépôt existant\n\ ap\nAfficher les profils\ " | zenity $H $W --window-icon=$HOME/.icons/borg.svg --list \ --column "id" --column "choix")