From c36a9faf46f40328470bfeccd639511d59eac39b Mon Sep 17 00:00:00 2001 From: "leedongmyung[desktop]" Date: Sun, 5 Nov 2023 08:03:48 +0900 Subject: [PATCH] =?UTF-8?q?=EB=B6=88=ED=95=84=EC=9A=94=20=ED=8C=8C?= =?UTF-8?q?=EC=9D=BC=20=EC=82=AD=EC=A0=9C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- assets/script/shell/check_rev.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 assets/script/shell/check_rev.sh diff --git a/assets/script/shell/check_rev.sh b/assets/script/shell/check_rev.sh deleted file mode 100644 index 72698d1..0000000 --- a/assets/script/shell/check_rev.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/zsh -REV_OLD=`cat git_rev.txt` -git rev-list --all HEAD --all --count > git_rev.txt -REV_NEW=`cat git_rev.txt` - -echo "$REV_OLD" -echo "$REV_NEW" - -RESULT=FALSE -if [ ${REV_OLD} -ne ${REV_NEW} ] ; then - RESULT=TRUE -fi - -echo $RESULT > result.txt \ No newline at end of file