From ff496ab2ba11a33da807461c64a8f7befc381e56 Mon Sep 17 00:00:00 2001 From: romkatv Date: Wed, 26 Feb 2020 14:52:42 +0100 Subject: [PATCH] exit with an error when unable to delete old fonts --- internal/wizard.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/internal/wizard.zsh b/internal/wizard.zsh index d4b6e552..beaa4bb4 100755 --- a/internal/wizard.zsh +++ b/internal/wizard.zsh @@ -428,7 +428,7 @@ function ask_remove_font() { flowing Please %Bdelete%b these files and run '%2Fp10k%f %Bconfigure%b.' fi print - exit 0 + exit 1 fi if (( $#fonts == 1 )); then flowing -c "%BDelete this file?%b"