From 57217aa4fa29b60d6fa04086ce8bcfd33a32ab88 Mon Sep 17 00:00:00 2001 From: chonghe Date: Tue, 3 Oct 2023 20:43:55 +0800 Subject: [PATCH] To be explicit in replacing the old file --- scripts/cli.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/cli.sh b/scripts/cli.sh index 5dee050235..b7c19d7f47 100755 --- a/scripts/cli.sh +++ b/scripts/cli.sh @@ -74,7 +74,7 @@ if [[ -z $diff ]]; then # check for difference update+=(false) return 1 # exit a function (i.e., do nothing) else - cp $2 ./book/src + cp $2 $1 changes=true update+=(true) fi