Recursos para programadores, código fuente para copiar y pegar, pinceladas de tecnología y software libre
Publi
El título del post lo dice claro. Imaginemos que tenemos un número grande, por ejemplo 58492, y que ese número son los segundos que ha tardado una tarea en realizarse, o el tiempo que ha pasado desde un evento determinado, pero a nosotros como humanos, este número no nos dice nada, lo entenderíamos mejor si lo expresamos como 16:14:52 como en todo, tenemos varias formas de hacerlo y voy a proponer dos.… Leer artículo completo
Seguramente en nuestros scripts, si tratamos con archivos de vídeo, nos interese conocer información sobre el mismo. Tal vez podamos extraer más información de un archivo de vídeo con un software especializado como VLC; pero para hacer unos cálculos rápidos o una conversión de formato nos va a venir muy bien.
Programas como avconv o ffmpeg son capaces de extraer información básica del vídeo. Es más, programas como identify (de imagemagick) entre otros, en realidad llaman por detrás a uno de los dos primeros para realizar la identificación del archivo.… Leer artículo completo
Puede parecer extraño pero, a veces, cuando nuestros visitantes son de diferentes franjas horarias conviene adaptar las horas a cada uno de los usuarios. No es plan que en pleno 2015 obliguemos a los usuarios a hacer las conversiones.
También es posible que, estemos extendiendo un CMS que ignore por completo el default_timezone_set o que lo defina a placer, y nos encontremos en un dilema cuando tenemos que tratar con la hora.… Leer artículo completo
Si tenéis un equipo Linux que actúe como servidor y equipo de música (por poner algo), y no tenga un monitor conectado en todo momento; os puede ser útil este script:
1 2 3 4 5 6 7 8 | #!/bin/bash hora=`date +%H` min=`date +%M` decir="Son las "$hora" y "$min echo $decir | espeak -ves |
Si asociamos este script a una combinación de teclas, por los altavoces nos dirá la hora que es.… Leer artículo completo
Últimos comentarios