Preguntas con etiqueta 'terminal'

1
respuesta

Cambiar la calidad .jpg de las capturas de pantalla del terminal

Estoy usando un script de terminal para capturar mi pantalla a intervalos establecidos. Sin embargo, los archivos .jpg resultantes son bastante grandes. Me gustaría controlar la calidad de los archivos .jpg generados por este script: while [ 1...
hecha 13.04.2017 - 17:24
7
respuestas

La carpeta en gris no se abrirá en el buscador

Nunca he visto esto antes. Aquí están los hechos: Parece estar atenuado en el buscador No puedo abrirlo haciendo clic en Puedo mover la carpeta Los permisos se configuran en 777 (exceso de conocimiento, sé) Puedo cambiar el...
hecha 18.11.2015 - 12:42
1
respuesta

¿Es kill -15 lo mismo que File - Quit?

Quiero abandonar un proceso pero sin forzarlo. ¿Es eso posible desde la terminal?     
hecha 26.10.2011 - 21:59
1
respuesta

Quiero cambiar el reloj de 12h a 24h mediante terminal

Así que estoy buscando el comando para cambiar de 12h a 24h. ¿Hay tal orden? Quiero decir que puedo hacerlo con la GUI pero necesito poder hacerlo a través de terminal para poder ponerlo en un script de bash. Aquí quiero, en lugar de las...
hecha 17.12.2012 - 09:31
1
respuesta

¿Dónde deberían instalarse las herramientas de shell?

¿Existen pautas de Apple sobre dónde deben instalarse las herramientas de shell de usuario en Mountain Lion? Algunos (por ejemplo, TeX, o Git de Apple) terminan en /usr , y otros (por ejemplo, X11) parecen terminar en /opt (a veces...
hecha 03.02.2013 - 18:52
1
respuesta

Ajuste de línea extraño en el terminal con un indicador de color

Tengo razones para pensar que tengo un escape incorrecto en mi indicador de bash (en la Terminal tengo un ajuste de línea aleatorio extraño). ¿Alguien puede señalarlo? Me parece bien ... export PS1="3[0;35m\u3[00m on 3[0;36m\h3[00m in 3[0;3...
hecha 09.04.2013 - 22:32
1
respuesta

¿Cómo ejecutar chromium-browser desde la línea de comandos?

En Linux, cuando instalé el navegador Chromium de código abierto pude ejecutarlo desde la línea de comandos usando chromium-browser con varias opciones útiles (como especificar un proxy). He cambiado a usar una Mac y me gustaría hacer l...
hecha 23.06.2017 - 13:12
1
respuesta

brew: Error al establecer filetime 1503098583 en outfile: errno 1

Ahora veo a menudo un nuevo error al invocar brew. Funciona de todos modos, pero me pregunto cómo arreglar Failed to set filetime on outfile: errno 1 brew install redis Failed to set filetime 1503098583 on outfile:...
hecha 19.08.2017 - 06:46
3
respuestas

archivos de búsqueda de terminales por texto que contienen los nombres de los archivos

Digamos que hay un archivo llamado "abc_deh.xyz", ¿qué comando utilizo para encontrar la ubicación de ese archivo en mac terminal usando únicamente el término de búsqueda "deh"? Básicamente, estoy preguntando cómo buscar un archivo por el texto...
hecha 03.06.2013 - 22:36
2
respuestas

¿Qué indicadores de compilación están disponibles para la instalación de gcc en brew?

Tengo curiosidad por saber qué indicadores de compilación están disponibles para mí cuando instalo gcc 4.8 utilizando brew . Esta pregunta explica cómo instalar gcc 4.8 usando brew, pero solo especifica dos posibles marcas, es...
hecha 14.08.2013 - 09:22