Browse Source

prevent gpg-pinentry

pull/403/head
luukvbaal 4 years ago
committed by GitHub
parent
commit
67cec6fae3
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
  1. +1
    -0
      bin/mailsync

+ 1
- 0
bin/mailsync View File

@@ -6,6 +6,7 @@
pgrep -u "${USER:=$LOGNAME}" >/dev/null || { echo "$USER not logged in; sync will not run."; exit ;}
# Run only if not already running in other instance
pgrep -x mbsync >/dev/null && { echo "mbsync is already running." ; exit ;}
while pgrep -x ${LOCK:-slock} >/dev/null; do sleep 10; done

# Checks for internet connection and set notification script.
ping -q -c 1 1.1.1.1 > /dev/null || { echo "No internet connection detected."; exit ;}


Loading…
Cancel
Save