En ese caso, para obtener sólo el tiempo total en milisegundos (el valor numérico), puedes usar el comando:
curl -s -w %{time_total}\\n -o /dev/null https://proyectoa.com
Que como ves no necesita de fichero adicional, se ejecuta directamente y devuelve el tiempo de conexión en milisegundos únicamente.
