Saber la ruta del directorio personal del usuario
Normalmente, si nuestro usuario se llama, por ejemplo, fernando, su directorio personal será /home/fernando. Pero no siempre es así, ya
Leer más
Trucos
Editor por defecto del usuario
Para saber el editor por defecto del usuario, podemos mostrar la variable de entorno $EDITOR: echo $EDITOR En caso de
Leer más
Saber la shell que se está ejecutando
Para saber la shell que se está ejecutando podemos usar la variable de entorno $SHELL: echo $SHELL
Leer más
¿En qué directorios se encuentran los ficheros ejecutables?
Cuando ejecutamos un comando en nuestra terminal sin indicar la ruta, es decir, no es un script que hayamos hecho
Leer más
BASH: Saber si un fichero o directorio existe
En un script, para saber si un fichero existe o no, como es una comprobación, deberemos usar la estructura condicional
Leer más
Cómo saber si un fichero tiene permisos de ejecución
Para saber en la consola si un fichero tiene permisos de ejecución para nuestro usuario, podemos saberlo con: ls -l
Leer más
Cómo saber el tamaño de una imagen con ImageMagick
Para conocer las características de un fichero de imagen, podemos usar el comando identify de ImageMagick. Su uso más sencillo
Leer más
Convertir una cadena en array en Shell Script
En ocasiones nos vamos a encontrar con la necesidad de dividir una cadena en partes para crear un array para
Leer más
Recorrer todos los ficheros de un directorio en Shell Script
Para listar los ficheros de un directorio usamos ls. Bien para listar los ficheros del directorio actual o bien para
Leer más
Cambiar el tamaño del lienzo con convert -extent
Para cambiar el tamaño del lienzo de una imagen, convert dispone del parámetro -extent, que permite recortar o ampliar el
Leer más