add setup_ppa.sh

.gitmodules

@@ -4,3 +4,9 @@
 [submodule "packages/gtsam_points"]
 	path = packages/gtsam_points
 	url = git@github.com:koide3/gtsam_points
+[submodule "packages/glim"]
+	path = packages/glim
+	url = git@github.com:koide3/glim
+[submodule "packages/glim_ros2"]
+	path = packages/glim_ros2
+	url = git@github.com:koide3/glim_ros2

setup_ppa.sh

@@ -0,0 +1,31 @@
+#!/bin/bash
+
+# exit if not root
+if [ "$EUID" -ne 0 ]; then
+  echo "Must be run with sudo"
+  exit 1
+fi
+
+apt-get update && apt-get install -y curl gpg
+
+. /etc/os-release
+release="${UBUNTU_CODENAME}"
+echo release=$release
+
+if [ $release == "noble" ]; then
+  ubuntu_label="ubuntu2404"
+elif [ $release == "jammy" ]; then
+  ubuntu_label="ubuntu2204"
+elif [ $release == "focal" ]; then
+  ubuntu_label="ubuntu2004"
+else
+  echo "Unsupported release: $release"
+  exit 1
+fi
+
+echo "ubuntu_label=$ubuntu_label"
+echo curl -s --compressed "https://koide3.github.io/ppa/$ubuntu_label/KEY.gpg" | gpg --dearmor | tee /etc/apt/trusted.gpg.d/koide3_ppa.gpg >/dev/null
+echo echo "deb [signed-by=/etc/apt/trusted.gpg.d/koide3_ppa.gpg] https://koide3.github.io/ppa/$ubuntu_label ./" | tee /etc/apt/sources.list.d/koide3_ppa.list
+
+curl -s --compressed "https://koide3.github.io/ppa/$ubuntu_label/KEY.gpg" | gpg --dearmor | tee /etc/apt/trusted.gpg.d/koide3_ppa.gpg >/dev/null
+echo "deb [signed-by=/etc/apt/trusted.gpg.d/koide3_ppa.gpg] https://koide3.github.io/ppa/$ubuntu_label ./" | tee /etc/apt/sources.list.d/koide3_ppa.list