Desde la línea de comandos ejecutamos este comando, poniendo en el parámetro scale la resolución que queramos (respetando claro la relación de aspecto del vídeo original):
ffmpeg -i input.mp4 -vf scale=1280x720 output.mp4
Cosas de programación para recordar y de todo un poco
Desde la línea de comandos ejecutamos este comando, poniendo en el parámetro scale la resolución que queramos (respetando claro la relación de aspecto del vídeo original):
ffmpeg -i input.mp4 -vf scale=1280x720 output.mp4
Con el parámetro dColorImageResolution podemos modificar el peso de las imágenes sin perjudicar el texto.
gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dDownsampleColorImages=true -dColorImageResolution=150 -dNOPAUSE -dAutoRotatePages=/None -dBATCH -sOutputFile=output.pdf TimeLineOk.pdf
Si tenemos configurado y funcionando un servidor web podemos añadirle capacidades de websockets sin tener que complicarnos con nuevos puertos, certificados de seguridad, etc.
Para eso vamos a usar nginx como proxy inverso. En mi caso necesitaba poder conectar a un programa escrito en node mediante websockets (desde el navegador del cliente) y mediante http (desde mi API en el servidor).
El programa de node usa socket.io y escucha en el puerto 1978.
Esta es la configuración que he utilizado. En el fichero nginx.conf añadimos esta directiva dentro del bloque http:
upstream websocket {
server localhost:1978;
}
Y en el fichero de configuración de nuestro servidor, dentro del bloque server:
# Esta es la ruta que usa socket.io para escuchar conexiones de websockets
location /socket.io/ {
proxy_pass http://websocket;
proxy_http_version 1.1;
proxy_set_header Upgrade $http_upgrade;
proxy_set_header Connection "Upgrade";
}
# Esta es la ruta a la que podremos llamar desde la API.
location /fry/ {
proxy_pass http://localhost:1978;
}
En el código JS del cliente usaremos como host de conexión de socket.io https://midominio.com y para conectar desde PHP https://midominio.com/fry/endpoint
Supongamos que tenemos en una tabla una columna a_productIds de tipo JSON que contiene un array de números y queremos listar los registros que tienen en esa columna algún valor de una lista de números.
La forma más sencilla que he encontrado es usar la función JSON_OVERLAPS que recibe dos documentos JSON y devuelve 1 si tienen en común algún par clave-valor o elemento de array (esto es lo que nos interesa aquí).
Si queremos listar los registros que tienen en a_productIds alguno de los valores 1, 2 o 3 la consulta quedaría así:
SELECT *
FROM tabla
WHERE JSON_OVERLAPS(JSON_EXTRACT(a_productIds, '$'), '[1, 2, 3]');
En ocasiones quizá necesitemos localizar arrays vacíos, esto puede hacerse con la función JSON_LENGTH:
SELECT *
FROM tabla
WHERE JSON_LENGTH(a_productIds, '$') = 0;
Hay una alternativa a Google Fonts que parece ser que no recopila datos de los usuarios y ayuda a cumplir mejor la normativa de protección de datos. Se llama Bunny Fonts.
Hay una explicación detallada aquí pero las líneas que nos interesan son:
emergency_restart_threshold 10
emergency_restart_interval 1m
process_control_timeout 10s
Fuente: AndyGM
Disclaimer: para una copia rápida me ha funcionado este comando, no garantizo que sea perfecta ni que descargue bien todas las páginas o ficheros.
wget -r -l 10 -k -p -t 5 -nc -E https://dominio.com
En esta página lo explican estupendamente, con un ejemplo completo.
El minimapa que muchos IDEs muestran a la derecha de un fichero abierto resulta bastante útil.
Y en esta página web podemos generar texto en letras goooordas (yo uso la fuente ANSI regular).
El resultado es que podemos usar estas letras gordas para dejar indicaciones visuales en el minimapa de dónde empiezan ciertas secciones. La imagen del ejemplo es de un fichero donde defino los filtros que pueden usarse en diferentes tablas de datos en una aplicación web.