A Ubuntu 24.04 docker container that has ROS 2 Jazzy.
otto_hardwareotto_bringupotto_descriptionotto_navigationros_colorsens_apds9960ros_fuelgauge_max17263ros_imu_lsm6dsv16x
docker build -t otto_docker:latest . <-- the dot is important!
docker run -it --runtime=nvidia --net=host --ipc=host otto_docker
NOTE: There are aliases,
dockerbuildanddockerrunfor these commands on our Jetson Orin
I automated switching git + GitHub configuration files, ssh keys, and more. Here is how you get setup:
Each user needs a different SSH key to use. Here is how to set one up:
Setting up an SSH Key:
- first generate the key using the command:
ssh-keygen -t ed25519 -C "your_email@example.com" - when prompted to, make sure you save it to the file path :
~/.ssh/<your_firstname>_ssh(your firstname should be all lowercase!) - start the ssh agent with
eval "$(ssh-agent -s)" - add the key to the agent `ssh-add ~/.ssh/<your_firstname>_ssh
- view your key by running
cat ~/.ssh/<your_firstname>_ssh - Copy your key and add it to GitHub
Within the hidden directory ~/.gitconfigs there are multiple files. Your file's name will follow the format .gitconfig_<initials>.
You only have to fill out the rest of the fields that are commented out.
Here is an example for reference:
[user]
name = My Name
email = myname@email.com
[core]
sshCommand = ssh -i ~/.ssh/my_ssh
Checking the current user: git-whoami
Switching to a different user: git-user-switch "firstname"