diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-15 22:33:18 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-04-15 22:33:18 -0700 |
| commit | 72653705682251118c0a24c0aabe9e8bcbc69061 (patch) | |
| tree | 87b5f9dac68bd9fab18018af74fe769c2c70ec1b | |
| parent | 5a0a8d709e86580e7589dc2ca5f7450118023c28 (diff) | |
| download | dotfiles-72653705682251118c0a24c0aabe9e8bcbc69061.tar.gz | |
fix skip for ~/.fmail
| -rw-r--r-- | home-mrconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home-mrconfig b/home-mrconfig index 1db94c2d..1502c559 100644 --- a/home-mrconfig +++ b/home-mrconfig @@ -485,7 +485,7 @@ log = : grep = : autoci = : isclean = : -skip = lazy +skip = ! [ -e "$HOME/.fmail/inbox" ] # this is slower than other repos for which sync is defined, so have # it go last |