Bug or Feature? --- "Can't connect to local MySQL server through socket"

I am using Windows 10. Via Devilbox, I am able to set up and verify virtual hosts for test projects. All is green on the Devilbox console.

The only difficulty I found in setup was that I was unable to get Devilbox working with Windows-style containers. So I am using Linux-style Docker containers on Windows.

PHPMyAdmin runs with no problem. However, when I enter the PHP container and run the “mysql” command-line program, I see this error:

ERROR 2002 (HY000): Can’t connect to local MySQL server through socket ‘/var/run/mysqld/mysqld.sock’ (2 “No such file or directory”)

And indeed, when I examine “/var/run,” I do not find the “mysqld” directory.

Is this a feature, a bug, or a case of (my) new-user ignorance? If possibly a bug, what additional information should I provide on GitHub?

=====Edit============================

Sorry to have bothered about this. I found my answer in the documentation here:

https://devilbox.readthedocs.io/en/latest/intermediate/work-inside-the-php-container.html

May suggest adding to the GETTING STARTED documentation so as to direct the new user to the above location? Seems this would fit in between GETTING STARTED items 7 and 8.

Socket is not supported. Use the hostname like so: mysql -h mysql ....