From 38a86b051449b1004e8e098c8c831ae974e5102b Mon Sep 17 00:00:00 2001
From: Hsieh Chin Fan <typebrook@gmail.com>
Date: Fri, 15 Apr 2022 22:05:06 +0800
Subject: Update

---
 tools/init/sync.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tools')

diff --git a/tools/init/sync.sh b/tools/init/sync.sh
index 04af87e..ebed33a 100755
--- a/tools/init/sync.sh
+++ b/tools/init/sync.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+# If git is working in other process, then don't sync again
+! pidof git && exit 0
+
 # my repo
 sync() {
   { cd $1 && [[ -n $(git remote -v) ]] || return ; } 2>/dev/null
-- 
cgit v1.2.3-70-g09d2