mirror of
https://github.com/wting/autojump
synced 2024-10-27 20:34:07 +00:00
this signal handler shouldn't be needed anymore,
now that we handle files atomically
This commit is contained in:
parent
ed5b2b2fed
commit
b2e010e69a
5
autojump
5
autojump
@ -33,11 +33,6 @@ MAX_STORED_PATHS = 600
|
|||||||
COMPLETION_SEPARATOR = '__'
|
COMPLETION_SEPARATOR = '__'
|
||||||
CONFIG_DIR = os.environ.get("AUTOJUMP_DATA_DIR", os.path.expanduser("~"))
|
CONFIG_DIR = os.environ.get("AUTOJUMP_DATA_DIR", os.path.expanduser("~"))
|
||||||
|
|
||||||
def signal_handler(arg1, arg2):
|
|
||||||
"""Autojump shouldn't break on SIGINT"""
|
|
||||||
print("Received SIGINT, trying to continue")
|
|
||||||
signal.signal(signal.SIGINT, signal_handler)
|
|
||||||
|
|
||||||
def uniqadd(collection, key):
|
def uniqadd(collection, key):
|
||||||
"""Adds a key to a list only if it is not already present"""
|
"""Adds a key to a list only if it is not already present"""
|
||||||
if key not in collection:
|
if key not in collection:
|
||||||
|
Loading…
Reference in New Issue
Block a user