ingreso nombres

#!/usr/bin/env python
# -*- coding: utf-8 -*-
"""
Pedir por teclado el nombre de usuario, si
está vacío, volver a pedirlo hasta que se ingrese
un nombre.
Luego, saludar al usuario.
"""
while True:
    nombre = input("Ingrese su nombre: ")
    if nombre.strip() != "":
        break
print(f"Hola {nombre}")