add codex skill

This commit is contained in:
RubenRWU
2026-05-06 15:27:00 +02:00
parent 723248dde5
commit 522740bc9e
3 changed files with 255 additions and 0 deletions

84
codex/README.md Normal file
View File

@@ -0,0 +1,84 @@
# Codex-Version
Dieses Repo enthält unter [codex/skills/onyva-login/SKILL.md](/home/ruben/PycharmProjects/onyva-login-skill/codex/skills/onyva-login/SKILL.md) eine Codex-kompatible Version des bestehenden Claude-Skills.
## Lokale Nutzung in Codex
Lege den Skill lokal in deinem Codex-Home unter `skills/onyva-login/` ab, sodass dort eine `SKILL.md` liegt. Wenn du ihn aus diesem Repo kopieren willst:
```bash
mkdir -p ~/.codex/skills/onyva-login
cp /home/ruben/PycharmProjects/onyva-login-skill/codex/skills/onyva-login/SKILL.md ~/.codex/skills/onyva-login/SKILL.md
```
Danach kannst du in Codex z. B. schreiben:
```text
Nutze den Skill onyva-login und integriere den zentralen Login in dieses Projekt.
```
## Upload nach Gitea mit Token
### 1. Persönlichen Access Token erzeugen
In Gitea:
1. Profilbild oben rechts öffnen
2. `Settings`
3. `Applications`
4. `Generate New Token`
5. Einen Namen vergeben, z. B. `codex-push`
6. Mindestens `repo`- bzw. Schreibrechte auf das Ziel-Repository geben
7. Token direkt kopieren, weil Gitea ihn danach meist nicht mehr vollständig zeigt
### 2. Remote mit Token setzen
Empfohlen ist ein temporärer Push per HTTPS mit Token:
```bash
git remote add gitea https://<USERNAME>:<TOKEN>@gitea.onyva.dev/<ORG>/<REPO>.git
```
Beispiel:
```bash
git remote add gitea https://ruben:DEIN_TOKEN@gitea.onyva.dev/Onyva/onyva-login-skill.git
```
Falls `gitea` schon existiert:
```bash
git remote set-url gitea https://<USERNAME>:<TOKEN>@gitea.onyva.dev/<ORG>/<REPO>.git
```
### 3. Commit und Push
```bash
git add codex/README.md codex/skills/onyva-login/SKILL.md
git commit -m "Add Codex version of onyva-login skill"
git push gitea main
```
### 4. Token nicht im Remote behalten
Nach dem Push den Remote wieder ohne Token setzen, damit der Token nicht in `git remote -v` sichtbar bleibt:
```bash
git remote set-url gitea https://gitea.onyva.dev/<ORG>/<REPO>.git
```
## Sicherere Alternative mit Credential Helper
Statt den Token in der URL zu speichern:
```bash
git remote add gitea https://gitea.onyva.dev/<ORG>/<REPO>.git
git push gitea main
```
Dann bei der Abfrage:
- Benutzername: dein Gitea-Username
- Passwort: dein persönlicher Access Token
Wenn dein System einen Credential Helper nutzt, wird der Token dort gespeichert statt in der Remote-URL.