Ejemplo simple de uso de make y makefile

Ejemplo simple de makefile

El makefile se usa en conjunto con la herramienta make para construir y crear programas. Uno de sus usos más básicos es el de compilar un programa en C.

En este post te mostraré un ejemplo muy simple de un makefile en C que simplemente va a compilar y ejecutar un programa.

Realmente será un ejemplo muy sencillo de makefile, pero que te servirá en caso de que sea obligatorio usar el makefile.

(más…)

GRUB: Cambiar sistema operativo por defecto

En este post te mostraré cómo modificar el grub para cambiar el sistema operativo que inicia por defecto si no se pulsa ninguna tecla. Es decir, cambiar el orden de inicio de los sistemas operativos.

Por ejemplo, yo tengo instalado Windows y Ubuntu en una computadora, pero por defecto se selecciona el sistema Ubuntu, cuando yo quiero que al inicio se resalte la opción de Windows (e inicie automáticamente en ese sistema si no se selecciona otra cosa).

Veamos entonces cómo configurar el GRUB para cambiar el orden de arranque.

(más…)

Mostrar espacio disponible en Raspberry Pi

En este corto post te mostraré cómo saber cuánto espacio tienes ocupado y libre en tu Raspberry Pi, o mejor dicho, en la SD de tu Raspberry Pi.

El comando que te mostraré funcionará perfectamente si usas Raspbian y te mostraré cuánto espacio de almacenamiento está ocupado y cuánto está disponible en porcentaje y en Gigabytes.

(más…)

Linux: renombrar archivos y remover parte de nombre

En este post sobre Bash y Linux te mostraré cómo renombrar varios archivos, es decir, renombrar archivos en masa y removerles ciertos caracteres.

Es cierto eso que dicen sobre la filosofía de Linux, que hagas que el programa haga una sola cosa y la haga bien. Eso queda demostrado al usar varias herramientas de Linux que nos servirán para renombrar varios archivos a la vez, quitando los primeros N caracteres.

(más…)

Solución a WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! en SSH

En este post te mostraré cómo solucionar el problema que aparece al conectarte por SSH el cual dice así:

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
Someone could be eavesdropping on you right now (man-in-the-middle attack)!
It is also possible that a host key has just been changed.
The fingerprint for the ECDSA key sent by the remote host is
SHA256:clave_aquí.
Please contact your system administrator.
Add correct host key in ruta to get rid of this message.
Offending ECDSA key in ruta:línea
ECDSA host key for IP has changed and you have requested strict checking.
Host key verification failed.

(más…)

Conectar a EC2 de AWS usando SSH y pem

En este corto tutorial te mostraré cómo usar la clave alojada dentro de un archivo pem para conectarte a una instancia creada en Amazon Web Services (aws).

Esto servirá para usar SSH y conectarte al servidor sin usar usuario y contraseña; solo la clave. Por cierto, voy a suponer que tienes el archivo .pem y la ip pública de la instancia EC2.

(más…)

Clonar disco duro con Clonezilla

Hoy voy a mostrarte un tutorial para clonar un disco usando el software gratuito Clonezilla.

Pasa que me ha llegado mi SSD justamente hoy, y como no quiero instalar todo lo que ya tengo en mi viejo disco duro mecánico en este nuevo, decidí clonarlo.

Todavía recuerdo aquellos viejos tiempos en los que se usaba Norton Ghost o algo así para clonar discos. Pero bueno, vamos al grano.

(más…)

Instalar Windows 10 sobre Ubuntu – Dual boot

En este post te mostraré cómo es posible tener instalado el sistema operativo Ubuntu y el sistema operativo Windows 10 en una misma computadora o mejor dicho, en un mismo disco duro; logrando un dual boot.

Los pasos que yo seguí fueron primero instalar Ubuntu y después instalar Windows 10.

Nota: no hagas lo del tutorial sin leerlo completo, pues cuando se siguen estos pasos debes recuperar el grub ya que Windows 10 lo sobrescribe; pero tranquilo, no es algo del otro mundo (lo dejaré igual al final).

Yo sé que no es algo nuevo lo del dual boot; lo que te muestro aquí es una guía por si instalaste Windows 10 después de Ubuntu y no sabes cómo acceder a éste último, para lo cual se requiere reparar el inicio.

(más…)

Python: ejecutar comandos del sistema operativo

Hoy veremos cómo ejecutar órdenes en la terminal o línea de comandos usando Python; pasando argumentos a dichos comandos.

Es decir, usar Python para ejecutar un comando que se ejecutaría en la terminal ya sea de Windows o Linux, por ejemplo cd, ls, tree, etcétera.

Es importante mencionar que no vamos a obtener la salida del comando, sino que vamos a ejecutar el comando y ver si su código de salida es el correcto (es decir, que se ejecutó de manera correcta terminando con un estado 0) así que será silencioso.

Lo hago de esta forma porque en ocasiones utilizo Python para compilar otros programas, pero es un lío pasar argumentos o hacerlo portable entre Linux y Windows.

(más…)

PHP no muestra los errores en Linux: solución

Hoy te voy a mostrar una posible solución al problema de que PHP no muestra errores cuando se ejecuta en un servidor Linux (en mi caso fue con un derivado de Debian).

El problema es simple: PHP no muestra ningún error incluso aunque lo haya, es decir, no imprime ningún error en el navegador web, pero sabemos que el error debería estar ahí.

En otras ocasiones muestra un error 500 pero no muestra ningún mensaje explicativo.

(más…)