- Apr 22, 2022
-
-
lcappelli authored
As written in the best practise: https://docs.docker.com/develop/develop-images/dockerfile_best-practices/#add-or-copy
-
lcappelli authored
To create the vscode user, the provide_user.sh script is used. With this script the comand line appearance is improved with colors and branch informations
-
lcappelli authored
Update the license format in Dockerfile as an example. These two lines need to be inserted in all the file in the project repo
-
lcappelli authored
Only one user is useful: test user and storm user have been removed. The default user has changed name in vscode because is the not-root user commonly used in devcontainer
-
- Apr 21, 2022
-
-
lcappelli authored
-
- Mar 24, 2022
-
-
Francesco Giacomini authored
-
- Dec 01, 2021
-
-
Francesco Giacomini authored
The script can be used both for the devcontainer and for the continuous integration.
-
- Nov 11, 2021
-
-
Francesco Giacomini authored
-