Dockerfile and devcontainer.json#2

Merged

manumerous merged 19 commits intomanumerous:mainfrom

nicholaspalomo:dockerfile

Feb 5, 2025

Commits on Jan 22, 2025

init
nicholaspalomo
committed

Commits on Jan 30, 2025

may need to revert this
nicholaspalomo
committed

Commits on Feb 1, 2025

almost finishes building
nicholaspalomo
committed

Commits on Feb 3, 2025

use pinocchio precompiled library
nicholaspalomo
committed
configure X11 permissions
nicholaspalomo
committed
git permissions in dev container
$(git config --global user.name)
committed
remove dead code
nicholaspalomo
committed
cleanup
$(git config --global user.name)
committed
Merge branch 'manumerous:main' into dockerfile
nicholaspalomo
authored

Commits on Feb 4, 2025

Update dockerfile to install from dependencies.txt
$(git config --global user.name)
committed
Merge pull request #1 from manumerous/update/dockerfile
nicholaspalomo
authored
add missing dependencies
$(git config --global user.name)
committed
make ROS_DISTRO an arg
$(git config --global user.name)
committed