Coder est un environnement de développement open-source intégré à la plateforme Arkhn et permettant de développer en son sein pour :
- explorer la donnée ;
- développer le patrimoine data (dbt ou dagster) ;
- déboguer les traitements.
¶ Création d'un Workspace
- Se connecter à Coder : https://coder.XXXX
- Utiliser Sign in with Arkhn
- Utiliser Sign in with Arkhn
- Se rendre sous workspaces :
- Cliquer sur New workspace (1) / sélectionner data-dev (2):
- Nommer son Workspace
- Saisir les informations transmises par Arkhn concernant VOTRE user et mot de passe Clickhouse
- Cocher enable_codex et enable_deployment_repository
- Saisir un token ***
*** Le token peut-être un Token Public* ou une clé SSH (et non pas fine grained token) ** - Créer le workspace
¶ Accès au Workspace :
→ Renvoyer sur le README
¶ *Token Public
- Pour cela générer un token sous github > settings > tokens > news et le copier/coller
¶ *SSH key
¶ Use case
On many environments hosted by the clients, the https port toward Github is closed by the firewall. The only way to call github is via the ssh.github.com:443 connection.
¶ Key generating
Generate a key pair dedicated to the client
ssh-keygen -t ed25519 -C "<your-email>" -f /tmp/id_coder_<client_name>
Display the public key
cat /tmp/id_coder_<client_name>.pub
Display the base64-encoded private key
cat /tmp/id_coder_<client_name> | base64
¶ Key setting in github
In the "SSH and GPG keys" tab of the settings menu, click on "New SSH key". Copy/paste the public key in the "Key" field.
¶ Key setting in Coder
When creating a new workspace, copy/paste the base64-encoded private key in the github_secret field.
