diff --git a/audiogame-manager.sh b/audiogame-manager.sh index bc0982d..288a3bb 100755 --- a/audiogame-manager.sh +++ b/audiogame-manager.sh @@ -335,6 +335,7 @@ get_bottle() { } get_installer() { + trap exit 0 INT # If the file is in cache nothing else needs to be done. if [[ -f "${cache}/$1" ]]; then return