chiark
/
gitweb
/
~cjwatson
/
bin.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
unreleased-packages: Check ~/src/ubuntu/*/*/debian/changelog as well.
[bin.git]
/
pull-mail
diff --git
a/pull-mail
b/pull-mail
index 2c11b992c659d00d940921a0c1610ea6fc3a4a3b..828ec374f8e5a14e529ab9946c5cee090473f9e1 100755
(executable)
--- a/
pull-mail
+++ b/
pull-mail
@@
-1,10
+1,7
@@
#! /bin/sh
-set -e
-if ! [ -e ~/.nomail ]; then
- date >> ~/.fetchmail/log
- fetchmail >> ~/.fetchmail/log
- bsmtp-pull gluck
-fi
+date >> ~/.fetchmail/log
+fetchmail >> ~/.fetchmail/log
+bsmtp-pull gluck
exit 0