Para crear un GIF animado desde la línea de órdenes de la consola (usando Ubuntu 18.04)instalamos el paquete ImageMagick: Ordenamos las imágenes según sus nombres anteponiendo un número distinto a cada imagen. Por…
Etiqueta: ubuntu
Para que los documentos, por ejemplo pdf, muestren un mejor renderizado las fuentes tipográficas haremos lo siguiente [probado en Ubuntu 18.04 Mate] Crear fichero fonts.conf con el siguiente contenido: Guardamos el anterior fichero…
Ver documento adjunto con las notas que me han parecido relevantes para crear trabajos académicos hecho con LyX, un «Front-End» de LaTeX.
Probado en Ubuntu 18.04. Cuando el equipo no carga el entorno gráfico (el escritorio) y nos presenta una pantalla en modo texto: El problema está en errores en el sistema de archivos. Solución:fsck…
Typora es un editor de texto de la clase Markdown. Alterna entre modo texto con formatos compatibles con Mardown y modo visual (lo que ves es lo que obtienes). Exporta a varios formatos…
Si tenemos LibreOffice o OpenOffice instalado en Ubuntu/Linux podemos convertir un fichero pdf a formato doc de Microsoft Office. Escribimos lo siguiente en la Terminal: sudo soffice –infilter=»writer_pdf_import» –convert-to doc fichero.pdf Una vez…
Cómo establecer una sesión interactiva con MySQL desde una Terminal de Ubuntu. Tiene que estar instalado el servidor MySQL, si no dará error: mysql -u root -p Pedirá la contraseña de administrador(«root») de…
Para reiniciar la conexión de red en Ubuntu 14.04 y 16.04 escribimos en una Terminal lo siguiente: sudo service network-manager restart
Descripción de como instalar un kernel en ubuntu de manera manual. Proceso: Actualizo los sources list para los kernels: # add-apt-repository ppa:kernel-ppa/ppa # aptitude update # aptitude search linux-image …el último es el…