Después de algo más de una semana desconectado de internet y disfrutando del sol y la playa, vuelvo al blog para comentar cómo estoy utilizando Github para albergar los apuntes de fluidos (un tema que comenté en la entrada anterior).
La idea era agilizar el método de trabajo a la hora de compartir los apuntes y, de paso, aprender y mejorar mis habilidades con Git.
Git es un sistema de control de versiones o cambios. A la hora de ir componiendo los apuntes, el desarrollo es prácticamente lineal: tomo apuntes de una sección, los paso a limpio, tomo apuntes de la sección siguiente, etc. Como mucho, de vez en cuando vuelvo al «código» para corregir alguna falta de ortografía o reescribir algún párrafo. Es decir, que con el control de versiones de Dropbox ya tenía suficiente, incluso cuando utilizaba el pendrive y trabajaba desconectado en la biblioteca y sincronizaba después en casa.
El cambio a git no ha alterado ese flujo de trabajo: puedo seguir trabajando desde equipos públicos (en la biblioteca o la universidad) y controlando versiones mediante git-portable en el pendrive o desde el portátil. Pero git me aporta la posibilidad de publicar los apuntes sin problemas gracias a GitHub, cosa que no podía hacer antes con Box.net.
El proceso es, más o menos, el mismo. Voy tomando apuntes hasta que finalizo una sección, por ejemplo. Compilo el fichero LyX a PDF y repaso el tema. Además del repaso de la teoría, también detecto algún error tipográfico. Una vez repasada la sección, exporto el documento a PDF y añado una nueva versión a Git. Finalmente, sincronizo mi repositorio local con el público en GitHub. Cuando, como esta semana, estoy sin internet, voy añadiendo los cambios a mi repositorio local, sabiendo que, en cuanto vuelva a tener conexión, puedo actualizar el repositorio remoto sin problemas.
De hecho, el repositorio local lo tengo dentro de Dropbox, lo que significa que se sincroniza al resto de máquinas que tengo conectadas (y que me permite tener una copia adicional en la nube).
Donde realmente puede marcar la diferencia GitHub es si alguien se anima a colaborar, mejorando los apuntes, añadiendo aclaraciones, gráficos o diagramas, etc.
La buena noticia es que, aunque no te interese nada cómo haga los apuntes, el hecho de que use Git (y GitHub) es que tendrás una copia actualizada de los mismos con más frecuencia que antes 😉