Saltar al contenido

Latex 2ε Cheat Sheet y Latex en Linux

Latex es un lenguaje para procesar textos, normalmente de divulgación científica. En linux existen varios programas para editar en este formato, aunque no son WYSIWYG. Entre ellos, los que más me gustan son Latexila y Kile: Latexila: No tengo intención de hacer un review sobre los programas: Sólo comentar que Latexila está escrito en GTK, y es ideal para Gnome. En Ubuntu, para instalar: sudo apt-get install latexila Kile: Como muchos podrán adivinar por el nombre, este programa pertenece al proyecto KDE, lo cual hace que use las librerías QT. Para instalar en Ubuntu: sudo apt-get install kile En ambos casos, se pueden buscar sin ningún problema, en la tienda… Leer más »Latex 2ε Cheat Sheet y Latex en Linux

[Rasπ1] Capitulo 2: Configurando apache y owncloud en la Raspberry Pi

Uno de los objetivos con los que empezé esta serie de tutoriales es la de montar un servidor web para la red local. Hoy vamos a instalar el servidor Apache y el servicio de compartición de archivos OwnCloud. Este servicio sirve para alojar archivos remotos, al igual que Dropbox, Ubuntu One o Media Fire. La ventaja que tendremos es que podremos conectar un disco duro (o un pen drive) con la capacidad que deseemos, y cuando queramos, nos llevamos el pendrive en el bolsillo o lo conectamos a la raspberry pi para tenerlos disponibles a través de Internet. También configuraremos un servicio de DDNS: no-ip para facilitar el acceso a este servicio web.

Leer más »[Rasπ1] Capitulo 2: Configurando apache y owncloud en la Raspberry Pi

[Off-topic]Canon de pachelbel en souncloud

Mientras que investigo sobre Django y la raspberry, escuchemos esto. Todavía no ha pasado de moda. Es de SoundCloud Este tiene licencia CC-By, por si queréis usarlo para algo más. Es ligeramente distinto del anterior: Os incluyo también este porque me gustó bastante, la verdad. También está bajo licencia CC. Hasta luego 😉

Xperia U – Actualización a Android 4.0 Ice Cream Sandwich

Hace ya casi una semana que Sony dijo que actualizarían progresivamente la gama de móviles Xperia U, Go y Sola. Pero pasada una semana entera y no haber visto cambio por parte del gestor de actualizaciones del móvil, me he puesto a buscar si era culpa de Tuenti móvil o era porque en Sony son unos lentos redomaos. Pues definitivamente, creo que, por suerte, es la segunda, ya que buscando en las páginas oficiales, al parecer la actualización depende de tu número de SI (sales identification) que se puede mirar en la parte posterior del móvil. El número contiene 8 dígitos y separados por un guión: XXXX-XXXX. En este* enlace… Leer más »Xperia U – Actualización a Android 4.0 Ice Cream Sandwich

[Rasπ1] Cap. 1: Instalando Raspbian en la Raspi

Bueno ahora que ya tenemos la Raspberry pi necesitamos hacerla funcionar. Y aquí llega Linux. Pero hay una cosa que siempre debemos tener presente: tenemos un procesador ARM. Esto significa que las cosas no funcionan de la misma manera, y tampoco existe una BIOS. El único modo que disponemos para hacer funcionar un SO en la raspi es a través de la tarjeta SD.

Del mismo modo, sólo podremos usar determinadas distribuciones para este procesador. La página oficial de la raspberry incluye 4 distribuciones, que son: Debian, Raspbian (basada en Debian), ArchLinux y QTonPi. La que usaremos será Raspbian por estar basada en Debian y tener un sistema de paquetes conocido, lo que nos hará la vida un poco más fácil. Además en teoría es una distro que está adaptada a la Raspberry.

Leer más »[Rasπ1] Cap. 1: Instalando Raspbian en la Raspi

[Rπ1 0] Raspberry Pi serie 1 Cap. 0: Crear un servidor casero

Últimamente en la red se están extendiendo mucho las noticias sobre placas de ordenadores basados en ARM de bajo coste. Entre ellas están BeagleBoard, PandaBoard, Adapteva y Raspberry Pi. Ésta última placa es muy económica (40€ con gastos de envío) y tiene un procesador ARM a 700 MHz y 256 MB de RAM.

Desde su creación se ha hablado de numerosos usos. El que yo pensé era crear un servidor para casa, que sirva como servidor de impresión y que comparta carpetas mediante samba, e instalarle un servidor Apache o Ngnix para practicar con Django.

Leer más »[Rπ1 0] Raspberry Pi serie 1 Cap. 0: Crear un servidor casero

[Bookmark]Git: La guía sencilla

  • Internet

He estado buscando una pequeña guía para git por unos problemillas con github. He encontrado algo ideal, bien diseñado, y que se entiende bien. Además, por si os sirve, también se ve bien en móviles. Enlace: git – la guía sencilla PD: Si os interesa: la fuente de los títulos es: Chelsea Market

Google Web Fonts: descárgalas para usarlas en el escritorio

  • Internet

Casi todo el mundo sabe que Google tiene un servicio de fuentes disponibles para usarse gracias a CSS y HTML, de forma nativa. Pero si a alguien le interesa realmente descargarse las fuentes, google dispone de un repositorio mercurial para clonarlo. Dispone actualmente de unas 540 fuentes, un número ligeramente más alto que el disponible online.

Pero no todo es un camino de rosas. El repositorio contiene muchos más archivos que sólo los archivos ttf o otf. Te descargas más o menos 1GB, pero al ser un repositorio, el tamaño se duplica, llegando a ocupar 2,1GB. Sin embargo si cogemos sólo los archivos ttf, el tamaño de todos ellos se reduce a unos 150 MB.

El repositorio se puede descargar desde la terminal:

$ hg clone https://googlefontdirectory.googlecode.com/hg/ googlefontdirectory

Leer más »Google Web Fonts: descárgalas para usarlas en el escritorio