openpilot v0.9.9 release

date: 2025-06-05T19:54:08
master commit: 8aadf02b2fd91f4e1285e18c2c7feb32d93b66f5

tools/scripts/adb_ssh.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+set -e
+
+# this is a little nicer than "adb shell" since
+# "adb shell" doesn't do full terminal emulation
+adb forward tcp:2222 tcp:22
+ssh comma@localhost -p 2222

tools/scripts/setup_ssh_keys.py

@@ -18,6 +18,6 @@ if __name__ == "__main__":
     params.put_bool("SshEnabled", True)
     params.put("GithubSshKeys", keys.text)
     params.put("GithubUsername", username)
-    print("Setup ssh keys successfully")
+    print("Set up ssh keys successfully")
   else:
     print("Error getting public keys from github")