From 37077ac84a983eb5b19cbaf7f541e9ecb3937f1c Mon Sep 17 00:00:00 2001 From: Michiel Scholten Date: Thu, 30 Nov 2023 16:56:46 +0100 Subject: [PATCH] More clear warning/info --- bin/font_update | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/font_update b/bin/font_update index 2bbad15..5a9a682 100755 --- a/bin/font_update +++ b/bin/font_update @@ -262,7 +262,8 @@ else done <<< "$FONTS_DELETE" # Just to be sure, clear and refresh your font cache and restart Firefox fc-cache -f -v - echo 'You might want to restart your browser' + echo + echo '/!\ You might want to restart your browser and/or terminals' else echo "$SOURCE_DIR not found, aborting" fi