fix indentation

pull/205/head
Josh Rabinowitz 6 years ago
parent f0040b0887
commit 73c81747cc

@ -31,10 +31,10 @@ function killperson {
for email in "${emails[@]}"; do
$gpg_local --batch --yes --delete-key "$email"
local exit_code=$?
if [[ "$exit_code" -ne 0 ]]; then
_abort "problem deleting key with gpg: exit code $exit_code"
fi
local exit_code=$?
if [[ "$exit_code" -ne 0 ]]; then
_abort "problem deleting key with gpg: exit code $exit_code"
fi
done
echo 'removed keys.'

Loading…
Cancel
Save