diff -r afe56abc6345 -r c4a808f66996 .bashrc
--- a/.bashrc	Fri Jan 08 16:11:52 2021 +0200
+++ b/.bashrc	Thu Jan 14 12:56:41 2021 +0200
@@ -311,3 +311,15 @@
     fi
   done < <(docker-machine.exe env --shell bash "$1")
 }
+
+mycurl() {
+  curl -w "\n\
+   namelookup:  %{time_namelookup}\n\
+      connect:  %{time_connect}\n\
+   appconnect:  %{time_appconnect}\n\
+  pretransfer:  %{time_pretransfer}\n\
+     redirect:  %{time_redirect}\n\
+starttransfer:  %{time_starttransfer}\n\
+-------------------------\n\
+        total:  %{time_total}\n" "$@"
+}