Preparación del sistema
Temas teóricos
Precauciones
Instrucciones generales
Lea completamente todos los pasos de la guía de esta actividad
Guía
Parte 1. Configuración básica del sistema y encendido
Encienda su computadora. Siga las instrucciones del profesor para ingresar al sistema operativo correspondiente al curso del laboratorio de microcontroladores.
Ejecute una consola de texto cada vez que necesite ejecutar comandos en Linux.
Actualización de la distribución de Linux Debian
Si no tiene sudo instalado, siga la siguiente
Guía
sudo apt-get update
sudo apt-get dist-upgrade
Siga las instrucciones en pantalla, léalas, estúdielas detenidamente y conteste correctamente. En caso de duda refiérase al profesor o al asistente.
Al final de este último comando usted ya tiene un sistema actualizado a debian sid (unstable). Reinicie la computadora para cargar el último kernel de Linux:
reboot
Parte 2. Configuración de Git
Llaves SSH
Necesitamos llaves criptográficas asimétricas para poder tener acceso al servidor de git del curso. A continuación se explica el proceso para crear dichas llaves.
ssh-keygen -t rsa -b 4096 -C "your_email@example.com"
Enter a file in which to save the key (/home/you/.ssh/id_rsa): [Enter]
Enter passphrase (empty for no passphrase): [contraseña segura]
Enter same passphrase again: [contraseña segura]
Su llave SSH se encuentra en /home/<user>/.ssh . Ahí va a encontrar dos archivos: id_rsa y id_rsa.pub. La primera es la llave privada, tenga cuidado, NUNCA le entregue esa llave a nadie, es privada y debe cuidarla. La segunda (la que termina en .pub), es la pública, esa sí se puede compartir.
eval "$(ssh-agent -s)"
ssh-add ~/.ssh/id_rsa
Repositorio del curso
mkdir ~/repos
cd ~/repos
git clone ssh://gitolite3@arcoslab.eie.ucr.ac.cr/micros_2_2018
cd micros_2_2018
mkdir nombre1_nombre2
cd nombre1_nombre2
touch README
git pull
git add README
git commit -m 'Adding readme for team nombre1_nombre2'
git push
Parte 3. Git cheat sheet
Crear una copia local de un repositorio
git clone
Descargar actualizaciones del repositorio remoto
git pull
Enviar actualizaciones al repositorio remoto
git push
Agegar archivos al repositorio
git add file1 file2 file3
Hacer un mensaje significativo de commit, para control de versiones
git commit -m 'mensaje significativo'
Apectos a recordar
Hacer pull antes de push
Los mensajes de commit deben ser descriptivos
No cambiar archivos de otros equipos
No subir archivos binarios
Agregar solo los archivos necesarios
Referencias