tools/scripts/setup_ssh_keys.py

#!/usr/bin/env python3

import requests
from common.params import Params
import sys


if __name__ == "__main__":
  if len(sys.argv) < 2:
    print("%s <github username>" % sys.argv[0])
    exit(1)

  username = sys.argv[1]
  keys = requests.get(f"https://github.com/{username}.keys")

  if keys.status_code == 200:
    Params().put("GithubSshKeys", keys.text)
    Params().put("GithubUsername", username)
    print("Setup ssh keys sucessfully")
  else:
    print("Error getting public keys from github")
script to add ssh keys old-commit-hash: 5d0a623b287ed82c3af1975a64ac4c19748c6ef4 2020-10-15 13:34:34 +02:00			`#!/usr/bin/env python3`

			`import requests`
			`from common.params import Params`
			`import sys`


			`if __name__ == "__main__":`
			`if len(sys.argv) < 2:`
			`print("%s <github username>" % sys.argv[0])`
			`exit(1)`

			`username = sys.argv[1]`
			`keys = requests.get(f"https://github.com/{username}.keys")`

			`if keys.status_code == 200:`
			`Params().put("GithubSshKeys", keys.text)`
set github username in key setup script old-commit-hash: 732006b0bc2813689fd161a553a5c19b5bb78420 2021-05-25 15:45:29 -07:00			`Params().put("GithubUsername", username)`
script to add ssh keys old-commit-hash: 5d0a623b287ed82c3af1975a64ac4c19748c6ef4 2020-10-15 13:34:34 +02:00			`print("Setup ssh keys sucessfully")`
			`else:`
			`print("Error getting public keys from github")`