Skip to content

Instantly share code, notes, and snippets.

# ROS2
sudo apt --yes install software-properties-common wget
sudo add-apt-repository universe
# prompt
# hard coded to avoid permission issues at JHU
wget https://github.com/ros-infrastructure/ros-apt-source/releases/download/1.1.0/ros2-apt-source_1.1.0.noble_all.deb
sudo dpkg -i ros2-apt-source_1.1.0.noble_all.deb
rm ros2-apt-source_1.1.0.noble_all.deb
sudo apt update
@adeguet1
adeguet1 / git-https-to-ssh.sh
Created March 29, 2024 15:48
Rewrite git URL using https to ssh
git config --global url."git@github.com:".insteadOf https://github.com/
git config --global url."git://".insteadOf https://