If the user hasn't set up Docker to work without sudo, cog push will fail unless you use sudo cog push.
However, cog login still works so the user will probably try
This fails because cog login have saved credentials on the user's account, but sudo cog push tries to read credentials from the root user.
Perhaps we should warn the user about this, or at least add it to the documentation.
If the user hasn't set up Docker to work without sudo,
cog pushwill fail unless you usesudo cog push.However,
cog loginstill works so the user will probably tryThis fails because
cog loginhave saved credentials on the user's account, butsudo cog pushtries to read credentials from the root user.Perhaps we should warn the user about this, or at least add it to the documentation.