When you work with maps, geojson format is one of the most important format to use.
But the transformation / edition of it is not easy. A solution is to use a JS library like turfjs to have a programatic solution. But, sometimes, the programatic solution is not a quick win. For instance, to subt...
To PHP specific version of PHP, we will use SURY third-party repository.
Following steps must be used to install specific version:
Install repository and dependencies
- Update the repository cache
sudo apt update
- Install dependencies
sudo apt install -y curl wget gnupg2 ca-certif...
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...
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 cr...
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...