How to Install miniconda on linux (from the command line only)