Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

D

Development_Environment
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

42c1161a

Commit 42c1161a authored 1 year ago by Montaño Sarria, Andres Felipe

Downloads
- Plain Diff

Merge branch '1-manage-extralibs-installation' into main

parents 5e4e0038 b449d44c

No related branches found

No related tags found

1 merge request!1Draft: Resolve "Manage extralibs installation"

Changes 7

Show whitespace changes

Inline Side-by-side

Showing

dockerfiles/devenv.Dockerfile 25 additions, 15 deletions

dockerfiles/devenv.Dockerfile
dockerfiles/extra_libs/common_libs.txt 4 additions, 0 deletions

dockerfiles/extra_libs/common_libs.txt
dockerfiles/extra_libs/melodic_libs.txt 3 additions, 0 deletions

dockerfiles/extra_libs/melodic_libs.txt
dockerfiles/other/builder.Dockerfile 0 additions, 0 deletions

dockerfiles/other/builder.Dockerfile
dockerfiles/other/id_rsa_TecnaliaUB20 0 additions, 0 deletions

dockerfiles/other/id_rsa_TecnaliaUB20
dockerfiles/other/old_devenv.Dockerfile 0 additions, 0 deletions

dockerfiles/other/old_devenv.Dockerfile
dotfiles/docker.sh 22 additions, 2 deletions

dotfiles/docker.sh

with 54 additions and 17 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment