Preguntas etiquetadas con script

24
Cambiar un favicon localmente en google chrome

Esta es una pregunta frustrante, principalmente porque todas las búsquedas de este generalmente me dan información sobre cómo cambiar un favicon para un sitio web que posee el usuario. Permítame dar más detalles sobre mi problema. Me gustaría poder cambiar el favicon que se muestra para uno de los...

23
¿Cómo extraer texto de pdf en script en Linux?

En Linux: ¿cómo extraer texto de un texto .pdfen el que realmente es texto, no una imagen escaneada? Quiero algo que pueda usar en la línea de comandos / en un script, no de forma interactiva. (No quiero convertir .tify usar OCR; el texto ya está disponible en el .pdfarchivo, entonces, ¿por qué...

22
ssh y shell a través de ssh: ¿cómo salir?

Estoy lanzando un script distante a través de SSH como este: ssh user@ipaddress '~/my_script.sh' Todo va bien, pero una vez que finaliza el script, la conexión no se cierra. Tengo que presionar CTRL-C para romper la conexión actual. He intentado el comando "salir" en '~ / my_script.sh' y es...

22
Convertir HTML a imagen

Fondo Convierta por lotes varios archivos de origen resaltados de sintaxis (C, SQL, Java, PHP, lote, bash) en imágenes de alta resolución (600 ppp), adecuadas para un libro electrónico y un libro impreso. Soluciones fallidas Varios intentos hasta ahora: OpenOffice o LibreOffice : tiene que...