change exit 1

This commit is contained in:
chonghe
2023-08-30 21:52:35 +08:00
parent 07b9a8fd86
commit 2d1325c6a1

View File

@@ -71,11 +71,11 @@ if [[ -z $changes ]];
then then
no_change=true no_change=true
echo "cli_manual.txt is up to date" echo "cli_manual.txt is up to date"
exit 1
# if the difference is empty, use true to execute nothing: https://stackoverflow.com/questions/17583578/what-command-means-do-nothing-in-a-conditional-in-bash # if the difference is empty, use true to execute nothing: https://stackoverflow.com/questions/17583578/what-command-means-do-nothing-in-a-conditional-in-bash
else else
patch ./scripts/cli_manual.txt update exit 1
echo "cli_manual.txt has been updated" #patch ./scripts/cli_manual.txt update
#echo "cli_manual.txt has been updated"
fi fi
# update cli_manual.sh # update cli_manual.sh