borrar contenido fichero desde la terminal

Eliminar líneas de un fichero en #Bash

El otro día, conectándome a una de las máquinas virtuales a través de ssh, me encontré que (naturalmente) había cambiado su “huella” (o “fingerprint”) y no me dejaba establecer la conexión.

Por pura pereza (cada día hay más líneas en ~/.ssh/known_hosts 😅), en lugar de abrir el fichero y buscar la línea que estaba “ofendiendo” al algoritmo de curva elíptica ECDSA opté por la forma rápida (una vez que sabes cómo) de eliminar desde la terminal una línea concreta del contenido de un fichero 😉

Seguir leyendo

número ficheros en una carpeta de google drive

Contar ficheros en una carpeta de Google Drive

Llevo unos días con un script para mudar la web de nuestro centro educativo y estoy subiendo a Drive recursos que siguen teniendo uso pero que, dispuesto como estoy a hacer limpieza y quitar las versiones antiguas de la web (se acabó la retrocompatibilidad 😅) estoy subiendo al alojamiento web de Google (total, con GSuite se supone que tenemos alojamiento ilimitado) e incluyendo redirecciones en el servidor (de modo que si alguien solicita acceder al recurso se le sirva la copia que he hecho)

“Justificaciones” a parte (que os dejo ahí por si alguien está interesado en dicho script) se me planteó la necesidad de saber cuántos archivos tenía subidos a Drive ya (el script está en beta y tenía que hacer algunas comprobaciones)…

Seguir leyendo

descubrir tipo de fichero desconocido

Conocer el formato de cualquier fichero

El otro día un compañero me comentaba que no podía abrir un fichero (en Windows, of course) y, como pensaba que igual estaba corrupto, me preguntaba si existía alguna forma de recuperar el fichero porque contenía datos importantes para él.

El fichero en cuestión ocupaba algunos KB por lo que parecía haberse descargado bien, así que opté por otro enfoque.

Recordando las veces que había descargado una imagen de alguna web y puesto una extensión equivocada (o directamente, no le había puesto extensión, dejando sólo el nombre del fichero 😅)  opté por usar el fantástico comando file que viene en cualquier distribución Linux para ver con qué estábamos tratando.

Seguir leyendo

cambiar fecha y hora de fichero

Cambiar la fecha y hora de cualquier fichero

¿Necesitas asignar una fecha y hora concretos a un fichero en Linux y no sabes cómo?

Jugando últimamente con Anacron para poder lanzar comandos cada cierto tiempo (y sin depender de que el equipo esté encendido llegado el momento exacto) el script que me indica por correo electrónico la puntuación de las últimas novedades en DVD necesitaba poder fijar exactamente el día y la hora a partir de la cual quería recibir la notificación (hora arriba o abajo según cuando encendiese el ordenador a partir de esa hora)

Por fortuna, y sin tener que esperar a que llegase el día y hora deseados para simular el primer lanzamiento de Anacron (y que los demás se hiciesen automáticamente a partir de ahí), se me ocurrió modificar la fecha y hora de /var/spool/anacron/imdb.news usando el comando touch.

Seguir leyendo

Cambiar permisos a todos los directorios o ficheros

ficheros por lotes linux

Probando el otro día una aplicación web para la gestión de un centro educativo (de la que espero poder hablar, con “conocimiento” de causa, uno de estos días…) se me hacía necesario cambiar los permisos de acceso de ficheros y directorios según las indicaciones del autor de la aplicación.

Como dicen que la pereza es la madre de tods los “vicios” (y aquí hay mucho “vicio”),  pues directamente apliqué el truco que aquí os dejo (esperando que os sea de utilidad y a mi me sirva como recordatorio la próxima vez) con tal de no ir, uno a uno, cambiándolo  manualmente.

Seguir leyendo

eliminar duplicados disco

Eliminar fichero y todos sus enlaces en Linux

Los enlaces están muy bien hasta el día que decides hacer limpieza en el disco 😏

Tengo el disco duro de la NAS lleno de enlaces duros a ficheros que ocupan demasiado espacio por lo que, al hacer limpieza, no basta con eliminar aquel que me estorba sino que necesito borrar las distintas “copias” que existen para que el espacio quede realmente disponible en el equipo.

Por fortuna, resolver el problema no es tan complicado como puede parecer, y aquí os cuento cómo…

Seguir leyendo

¡Por fin un gestor de ficheros (nativo) en Android!

Aunque existen cientos de administradores de ficheros en la Google Play (¿cuál es vuestro favorito?) no ha sido hasta la nuevo versión de Android que la todopoderosa Google se ha decidido a incluir (de serie) un gestor de archivos (¿se acabó tener que ocupar nuestro preciado espacio de almacenamiento con algo que hasta supuestos sistemas “operativos” como el ventanuco traen por defecto? 😉 )

No esperéis grandes funcionalidades ni que sea el mejor del mundo pero, como suele decirse: “la intención es lo que cuenta” y con esta nueva ¿funcionalidad? tenemos cubierto más que de sobra la posibilidad de gestionar (aunque sea de una forma básica y elemental) las operaciones básicas sobre los ficheros de nuestro dispositivo móvil ¿no os parece?

Consulta la noticia original

[TRUCO] Evitar equipo lento al copiar archivos

optimizar copia de ficheros¿Cuántas veces mientras trabajabas en algo y, por aprovechar el tiempo, has optado por copiar algún fichero relativamente grande y el equipo se te ha venido abajo impidiéndote trabajar con normalidad y maldiciendo en “arameo antiguo”?

Por fortuna es fácil de solucionar de un modo gráfico y sencillo incluso cuando el proceso está en marcha y sin utilizar la terminal de comandos 😉

Seguir leyendo