diff options
| author |  Carl Worth <cworth@cworth.org> | 2009-12-01 08:06:09 -0800 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2009-12-01 08:06:09 -0800 |
| commit | eb0cf86c7a9d5cda464d4d36a9cac66f26b5529d (patch) | |
| tree | 140439cdd9d4d567f83ad4ac7747c40c1d2c5bb2 /.gitignore | |
| parent | 5f0b2ece161b16321792d9ff2f76bcc33a3b6b42 (diff) | |
notmuch setup: Exit if EOF is encountered at any prompt.
If the user is explicitly providing EOF, then terminating the program
is the most likely desired thing to do. This also avoids undefined
behavior from continuing with an uninitialized response after ignoring
the return value of getline().
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions