Added a default description

This commit is contained in:
Anton Hvornum 2021-04-28 09:10:29 +02:00 committed by GitHub
parent 6cfaf30718
commit 66197f08de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -523,7 +523,7 @@ def select_kernel(options):
kernels = sorted(list(options))
if kernels:
selected_kernels = generic_select(kernels, "Choose a kernel: ")
selected_kernels = generic_select(kernels, f"Choose which kernel to use (leave blank for default: {DEFAULT_KERNEL}): ")
if not selected_kernels:
return DEFAULT_KERNEL
return selected_kernels