Si un usuario introduce "5.5", ¿cuál es la salida del siguiente script?
#!/bin/bash
read -p "Introduce un número: " num
if [[ $num =~ ^[0-9]+$ ]]
then
echo "Has introducido un número entero."
else
echo "No has introducido un número entero."
fi