Dev
A calm green hoodie developer carrying a laptop, simplified into a Codex digital pet.
mkdir -p ~/.codex/pets/dev-24666843 && curl -L -o /tmp/dev-24666843.zip https://file.aimcp.info/codex-pets/dev-24666843/dev-24666843.zip && unzip -o /tmp/dev-24666843.zip -d ~/.codex/pets/dev-24666843- 1Make sure the Codex CLI is installed and you are signed in.
- 2Copy the install command above and run it in your terminal:
mkdir -p ~/.codex/pets/dev-24666843 && curl -L -o /tmp/dev-24666843.zip https://file.aimcp.info/codex-pets/dev-24666843/dev-24666843.zip && unzip -o /tmp/dev-24666843.zip -d ~/.codex/pets/dev-24666843. It downloads the package into~/.codex/pets/. - 3Open
/petinside Codex and select Dev to bring it to life in your session.
A calm green hoodie developer carrying a laptop, simplified into a Codex digital pet.
What is Dev?
Dev is a Codex pet, a small animated character you install into the Codex CLI. Once hatched it appears in your terminal as a companion while you code.
How do I install Dev?
Run `mkdir -p ~/.codex/pets/dev-24666843 && curl -L -o /tmp/dev-24666843.zip https://file.aimcp.info/codex-pets/dev-24666843/dev-24666843.zip && unzip -o /tmp/dev-24666843.zip -d ~/.codex/pets/dev-24666843` in your terminal to download the package into `~/.codex/pets/`, then open `/pet` inside Codex and select Dev to activate it.
Is Dev free to use?
Yes. Dev is free to install and is distributed under the unknown license.
What style is Dev?
Dev is tagged person and codex-pets, which describes its look and animation theme.
