Programación

87
adb extraer varios archivos

¿Cuál es la mejor manera de extraer varios archivos usando adb pull Tengo en mis /sdcard/25 archivos con el siguiente nombre: gps1.trace gps2.trace ... gps25.trace El comodín no funciona: adb pull /sdcard/gps*.trace .

87
Solicitudes lentas en el servidor local de Flask

Estoy empezando a jugar con Flask en un servidor local y me doy cuenta de que los tiempos de solicitud / respuesta son mucho más lentos de lo que creo que deberían ser. Un simple servidor como el siguiente tarda cerca de 5 segundos en responder. from flask import Flask app =

87
Restablecer el proxy git a la configuración predeterminada

Instalé Socat para usar el protocolo Git a través de un proxy HTTP CONNECT, luego creo un script llamado gitproxyen su directorio bin. #!/bin/sh # Use socat to proxy git through an HTTP CONNECT firewall. # Useful if you are trying to clone git:// from inside a company. # Requires that the proxy...