Resolved issue with docker machine config editing