SAML-SSO-GIT-SSH-ZED-RSA-AI

tutorial-sso-github-codex-zed.md

Setup inicial: Zed, Codex, GitHub SSH y repositorios privados

Esta guía explica cómo preparar un entorno básico para trabajar con Zed, Codex y repositorios de GitHub desde la terminal, especialmente cuando la organización usa SSO.

1. Descargar e instalar Zed

Zed se descarga desde:

https://zed.dev

También se puede ir directo a la página de descarga:

https://zed.dev/download

Linux

En Linux, la forma más simple suele ser usar el script oficial:

curl -f https://zed.dev/install.sh | sh

Después de instalarlo, se puede abrir desde el menú de aplicaciones o desde la terminal:

zed

macOS

En macOS, descargar el archivo .dmg desde la página oficial, abrirlo y arrastrar Zed a Applications.

Windows

En Windows, descargar el instalador desde la página oficial y seguir el asistente de instalación.

2. Activar el ACP Registry en Zed

ACP significa Agent Client Protocol. Es el sistema que permite conectar agentes externos de código, como Codex, Claude Agent, Gemini CLI u otros, dentro de Zed.

Para abrir el ACP Registry:

1. Abrir Zed.
2. Abrir la Command Palette.
3. Buscar:

zed: acp registry

4. Entrar al ACP Registry.
5. Buscar el agente que se quiera usar.

También se puede acceder desde el Agent Panel usando el botón para agregar agentes.

3. Agregar Codex en Zed

Codex puede usarse como agente dentro de Zed mediante ACP.

Pasos generales:

1. Abrir Zed.
2. Abrir el Agent Panel.
3. Ir al botón para crear un nuevo thread o agregar agente.
4. Elegir Codex.
5. Si aparece dentro del ACP Registry, instalarlo desde ahí.
6. Abrir un nuevo thread de Codex.

Si Codex ya viene disponible en la versión instalada de Zed, no hace falta configurar nada extra.

4. Acceder a la cuenta de Codex

Para usar Codex, hay que tener acceso a una cuenta compatible.

Dependiendo de la configuración disponible, puede pedir una de estas dos cosas:

1. Iniciar sesión con la cuenta correspondiente.
2. Configurar una API key.

Si se usa API key, normalmente se puede exportar como variable de entorno:

export OPENAI_API_KEY="tu_api_key"

Para dejarla persistente en la shell, agregarla al archivo correspondiente.

En bash:

vim ~/.bashrc

En zsh:

vim ~/.zshrc

Agregar:

export OPENAI_API_KEY="tu_api_key"

Después recargar la configuración:

source ~/.bashrc

o:

source ~/.zshrc

5. Generar una llave SSH id_ed25519

Para trabajar con GitHub desde la terminal, lo más cómodo es usar SSH.

Primero revisar si ya existe una llave:

ls ~/.ssh

Si no existe una llave id_ed25519, crearla:

ssh-keygen -t ed25519 -C "tu_email@example.com"

Cuando pregunte dónde guardarla, se puede aceptar la ruta por defecto:

~/.ssh/id_ed25519

Cuando pida passphrase, se puede agregar una contraseña o dejarla vacía.

6. Copiar la llave pública

La llave pública es la que se agrega a GitHub.

Mostrarla en la terminal:

cat ~/.ssh/id_ed25519.pub

Copiar todo el contenido que aparece.

Importante: copiar la llave pública, no la privada.

La pública termina en .pub.

La privada no se comparte nunca.

7. Agregar la llave SSH a GitHub

En GitHub:

1. Ir a Settings.
2. Entrar en SSH and GPG keys.
3. Click en New SSH key.
4. Poner un título descriptivo, por ejemplo:

Laptop personal

5. Pegar la llave pública.
6. Guardar.

Después se puede probar la conexión:

ssh -T git@github.com

Si está todo bien, GitHub debería responder con un mensaje indicando que autenticó correctamente.

8. Verificar si la organización usa SSO

Algunas organizaciones tienen SSO activo. En ese caso, aunque la llave SSH esté bien cargada en GitHub, todavía puede faltar autorizarla para esa organización.

Síntomas típicos:

The organization has enabled or enforced SAML SSO.

O también puede pasar que GitHub diga que no hay acceso al repositorio aunque la llave funcione.

Para revisar y autorizar la llave:

1. Ir a GitHub.
2. Entrar en Settings.
3. Entrar en SSH and GPG keys.
4. Buscar la llave agregada.
5. Si aparece la opción Configure SSO, abrirla.
6. Autorizar la llave para la organización correspondiente.

Si no aparece Configure SSO, puede ser por alguno de estos motivos:

1. La organización no usa SSO.
2. Todavía no se inició sesión en el SSO de esa organización desde el navegador.
3. La cuenta no tiene acceso a esa organización.
4. La llave ya está autorizada.

9. Descargar repositorios usando SSH

Para clonar un repositorio privado o de una organización, conviene usar la URL SSH.

El formato es:

git clone git@github.com:organizacion/repositorio.git

Ejemplo genérico:

git clone git@github.com:acme/backend.git

Entrar al repo:

cd backend

Verificar el remote:

git remote -v

Debería verse algo parecido a esto:

origin git@github.com:acme/backend.git (fetch)
origin git@github.com:acme/backend.git (push)

10. Hacer push desde la terminal

Primero revisar la rama actual:

git branch --show-current

Agregar cambios:

git add .

Crear un commit:

git commit -m "Initial commit"

Subir la rama:

git push origin main

Si la rama local todavía no está asociada al remote:

git push -u origin main

Si la rama se llama distinto:

git push -u origin nombre-de-la-rama

11. Agregar origin si el código ya existe localmente

A veces el código ya existe en la computadora, pero todavía no tiene remote configurado.

Entrar a la carpeta del proyecto:

cd proyecto

Verificar si ya es un repo Git:

git status

Si no es un repo Git, inicializarlo:

git init

Verificar si tiene remotes:

git remote -v

Si no devuelve nada, agregar origin:

git remote add origin git@github.com:organizacion/repositorio.git

Verificar:

git remote -v

Debería mostrar:

origin git@github.com:organizacion/repositorio.git (fetch)
origin git@github.com:organizacion/repositorio.git (push)

Después subir el código:

git add .
git commit -m "Initial commit"
git push -u origin main

12. Cambiar un remote existente a SSH

Si el repo ya tiene remote, pero está usando HTTPS, se puede cambiar a SSH.

Ver el remote actual:

git remote -v

Si aparece algo así:

origin https://github.com/organizacion/repositorio.git

Cambiarlo a SSH:

git remote set-url origin git@github.com:organizacion/repositorio.git

Verificar:

git remote -v

13. Error: No such remote origin

Si al ejecutar:

git remote set-url origin git@github.com:organizacion/repositorio.git

aparece:

error: No such remote 'origin'

significa que ese repo no tiene un remote llamado origin.

Revisar los remotes actuales:

git remote -v

Si no aparece nada, agregar origin:

git remote add origin git@github.com:organizacion/repositorio.git

Si aparece otro remote, por ejemplo upstream, se puede usar ese nombre:

git push upstream main

O renombrarlo a origin:

git remote rename upstream origin

Después:

git push -u origin main

14. Resumen rápido

Instalar Zed:

curl -f https://zed.dev/install.sh | sh

Generar llave SSH:

ssh-keygen -t ed25519 -C "tu_email@example.com"

Copiar llave pública:

cat ~/.ssh/id_ed25519.pub

Probar conexión con GitHub:

ssh -T git@github.com

Clonar repo por SSH:

git clone git@github.com:organizacion/repositorio.git

Agregar remote si no existe:

git remote add origin git@github.com:organizacion/repositorio.git

Cambiar remote HTTPS a SSH:

git remote set-url origin git@github.com:organizacion/repositorio.git

Subir rama actual:

git push -u origin $(git branch --show-current)

15. Checklist final

1. Zed instalado.
2. ACP Registry abierto en Zed.
3. Codex agregado como agente.
4. Cuenta o API key de Codex configurada.
5. Llave id_ed25519 generada.
6. Llave pública agregada a GitHub.
7. Llave autorizada con SSO si la organización lo requiere.
8. Repositorio clonado usando SSH.
9. Remote origin configurado si el código ya existía localmente.
10. Push funcionando desde la terminal.