The creation of SD card is a recurrent problem when, for instance, you will install a new raspberry pi.
The command line is a good solution for several reason:
- If you must do the action only one time, it's useless to install a graphical interface.
- On a server or on a live installation, you sh...
A new version of EnvDev project is now available in 3.0 version.
EnvDev is now not only a PHP environment. You can now create a NodeJS environment. Create your custom environment profiles for each projects.
- Create one environment file by container
- Add profile crea...
When you get a taste for the virtual desktop under Linux, it's quite difficult to do without it.
On Ubuntu 18.04, by default, when the user change his virtual desktop with a multi-screen configuration, only the primary screen change ! To modify this comportement and change the desktop on all scree...
To develop, it is very confortable and secure to use SSH keys with GIT. In this case, an authentification by username and password are not necessary.
The first step to configure your environmment is to have generated SSH keys. If you don't have keys generated, you can follow all the process descri...
A new version of EnvDev project is now available in 2.5 version.
[2.5] - 2020-01-04
- Change default version of PHP in
.env.distfile from 7.3 FPM to 7.4 FPM
- Change License date
- Update README
- Rebuild home interface
- Remove orphans containers when restart/stop actio...