From b7daab0ee07c6bdf0ff1cdbf93de08fe02be3236 Mon Sep 17 00:00:00 2001 From: Comma Device Date: Mon, 15 May 2023 19:32:40 -0700 Subject: [PATCH] set ssh enabled in ssh helper script --- tools/scripts/setup_ssh_keys.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/scripts/setup_ssh_keys.py b/tools/scripts/setup_ssh_keys.py index b6d4486733..8f03303b59 100755 --- a/tools/scripts/setup_ssh_keys.py +++ b/tools/scripts/setup_ssh_keys.py @@ -14,8 +14,10 @@ if __name__ == "__main__": keys = requests.get(f"https://github.com/{username}.keys", timeout=10) if keys.status_code == 200: - Params().put("GithubSshKeys", keys.text) - Params().put("GithubUsername", username) + params = Params() + params.put_bool("SshEnabled", True) + params.put("GithubSshKeys", keys.text) + params.put("GithubUsername", username) print("Setup ssh keys successfully") else: print("Error getting public keys from github")