Restart after deleting a runner

This commit is contained in:
the-sane 2020-12-27 14:30:22 -05:00 committed by GitHub
parent 26030a6c82
commit 4a0b053a68
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -681,6 +681,9 @@ delete_runner() {
rm -r "${installed_runners[$remove_option]}"
echo -e "\nDeleted ${installed_runners[$remove_option]}\n"
fi
# Restart Lutris
lutris_restart
}
choose_runner_to_delete() {