Taller de editores de texto

Este taller es el primero de nuestra serie de talleres (https://github.com/LasPalmasDevOps/Talleres/blob/master/README.md#talleres-de-las-palmas-devops) y tiene como objetivo familiarizar a quienes asistan con diferentes tipos de editores de texto, explicar para qué situaciones o entornos se suelen usar y por qué es tan importante conocer bien tu editor.

El taller está orientado a cualquier persona que trabaje en IT, ya sea programador, administrador de sistemas, técnico de calidad, maquetador, etc. Y su objetivo es conseguir que le saque el mayor partido posible a su editor, para aumentar así su productividad.

Tras la presentación inicial, se hará una breve presentación de diferentes editores, su filosofía y cuándo puede resultar útil usar uno u otro.En una segunda parte, nos dividiremos en grupos de tal forma que cada cuál pueda elegir el editor que le pueda ser más útil y profundizar un poco más sobre el mismo: uso, interfaz de usuario, buenas prácticas, trucos.

Salvo la breve presentación inicial, el taller será eminentemente práctico y se propondrán ejercicios para asimilar mejor los conceptos.