Did they fix it? Triple clicking and pasting doesn't lead to immediate execution for me. But even better is to just put such commands in .bashrc as functions.

Did they fix it? Triple clicking and pasting doesn't lead to immediate execution for me. But even better is to just put such commands in .bashrc as functions. e.g. curltime() { curl -L -w "time_namelookup: %{time_namelookup}\ntime_connect: %{time_connect}\ntime_appconnect: %{time_appconnect}\ntime_pretransfer: %{time_pretransfer}\ntime_redirect: %{time_redirect}\ntime_starttransfer: %{time_starttransfer}\ntime_total: %{time_total}\n" "$1" }