From 5a3b5daa011f4f1a982af7108becdc290f54a86b Mon Sep 17 00:00:00 2001 From: Arun Prakash Jana Date: Thu, 10 Mar 2016 18:03:54 +0530 Subject: [PATCH] Handle Ctrl-d, the *nix way to quit. Signed-off-by: Arun Prakash Jana --- buku | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/buku b/buku index 899cf00..39f4868 100755 --- a/buku +++ b/buku @@ -307,7 +307,11 @@ def searchdb(cur, keywords): print("") while True: - nav = input("Result number to open: ") + try: + nav = input("Result number to open: ") + except EOFError: + return + if is_int(nav): index = int(nav) - 1 if index < 0: