Repositorio base para la parte de Programación en lenguaje C del curso “Laboratorio de electrónica digital”. Desarrolla en Visual Studio Code (web) dentro de un contenedor Docker, mientras tu código permanece local para versionarlo con Git.
.
├─ Dockerfile
├─ Makefile # build/run/stop del contenedor
├─ .gitignore
├─ .code_config/ # (se crea al correr) configuración persistente de code-server
└─ src/
└─ main.c # ejemplo mínimo en C
-
Docker 20+
-
Linux: docker y docker-compose (opcional)
-
Windows/Mac: Docker Desktop
-
-
make (GNU Make) — para ejecutar los comandos del Makefile
-
Git — para versionar el código
Verifica Docker: docker --version — Verifica Make: make --version
- Clona el repo y entra en la carpeta:
git clone <URL_DEL_REPO>.git
cd <CARPETA_DEL_REPO>
- Construye la image:
make docker-build
- Arranca el contenedor (code-server + toolchain C)::
make docker-run
- Abre tu navegador en http://localhost:8080
- Ingresa la contraseña (por defecto changeme o la que definas)
Para detener o eliminar:
make docker-stop # detener
make docker-rm # eliminar contenedor
make docker-sh # shell dentro del contenedor
-
PASSWORD — contraseña de acceso a VS Code (web).
-
HOST_PORT — puerto en el host (por defecto 8080).
-
TZ — zona horaria (por defecto America/Guatemala).
Ejemplo:
PASSWORD=MiClaveSegura HOST_PORT=9000 make run
La configuración de VS Code (extensiones, settings) se guardan en ./.code_config (mapeado a /config).
El código del repo se monta en /config/workspace → tus archivos siguen locales, listos para Git.