Principal Windows 10 El símbolo del sistema se ha mejorado aún más en Windows 10

El símbolo del sistema se ha mejorado aún más en Windows 10



Microsoft ha lanzado su nuevo Windows 10 para pruebas públicas. La compilación de Technical Preview viene con un conjunto de opciones experimentales para el símbolo del sistema (cmd.exe) y otras herramientas basadas en la consola, como PowerShell, que pueden mejorar su usabilidad. Aquí están las mejoras notables.

Anuncio


En Windows 10, la ventana Propiedades del símbolo del sistema y PowerShell presenta una nueva pestaña 'Experimental' con varias opciones interesantes. Todas las nuevas opciones de funciones experimentales que se aplican a las ventanas de la consola se encuentran en esta pestaña.
propiedades de la línea de comando

Habilitar la selección de ajuste de línea

En versiones anteriores del símbolo del sistema, seleccionar texto para copiarlo requería que usara un cuadro de selección cuadrado en la ventana cmd.exe y luego presione la tecla Enter. Después de copiar el texto, necesitaba corregir el ajuste de línea con el Bloc de notas o un editor de texto similar.
En Windows 10, puede seleccionar el texto del mismo modo que selecciona el texto en un editor de texto normal como el Bloc de notas o Microsoft Word. No hay más trucos extravagantes con la selección, todo el molesto formato específico de DOS se eliminará al copiar y pegar.

cómo agregar música en instagram

Ajustar la salida de texto al cambiar el tamaño

Con esta función habilitada, la ventana del símbolo del sistema y su texto se comportan como una ventana normal de tamaño variable. Se puede cambiar de tamaño libremente y el texto se reajustará automáticamente. En todas las versiones anteriores de Windows, era difícil cambiar el tamaño de la ventana del símbolo del sistema al tamaño exacto que deseaba.

Habilitar nuevos accesos directos de la tecla Ctrl

Esto habilitará los accesos directos de edición de texto predeterminados para la ventana del símbolo del sistema. La lista de teclas de acceso rápido es la siguiente:

cómo cambiar de personaje en gta 5 pc
  1. CTRL + A - Seleccionar todo
  2. CTRL + C - Copiar
  3. CTRL + F - Buscar
  4. CTRL + M - Marca
  5. CTRL + V - Pegar
  6. CTRL + ↑ / CTRL + ↓ - Desplazar la línea hacia arriba o hacia abajo
  7. CTRL + PgUp / CTRL + PgDn - Desplazarse por toda la página hacia arriba o hacia abajo

Teclas de edición extendidas

Las claves de edición extendidas eran compatibles con el símbolo del sistema desde Windows 2000. Había una herramienta del kit de recursos de GUI, CustCon.exe, que era un personalizador de teclas de consola, pero ahora Microsoft está haciendo que esta función sea pública y generalizada. Esperamos tener noticias de Microsoft para obtener más detalles sobre esta función.

Recortar los ceros iniciales en la selección

Esta función también podría modificarse en versiones anteriores de Windows utilizando la herramienta de personalización de teclas de la consola. Es útil para personas que manejan dígitos y datos en la consola. Al seleccionar un número con ceros a la izquierda mediante el doble clic, el cuadro de selección comenzará solo después de los ceros insignificantes existentes. Por ejemplo, 00100 se convierte en solo 100.

Opacidad

Esta función le permitirá establecer la transparencia de la ventana del símbolo del sistema del 30% al 100% (opaca). Afecta a todas las ventanas del símbolo del sistema abiertas. Para mí no parece particularmente útil, ya que convierte toda la ventana en transparente, incluido el marco de la ventana. Esto disminuye la legibilidad y no mejora la experiencia del usuario de ninguna manera. Hubiera sido mejor si Microsoft hubiera agregado transparencia con vidrio / desenfoque solo para el fondo, eso hubiera sido realmente elegante.

cómo encontrar gente en Snapchat

Eso es. Ahora ya conoce todas las funciones experimentales del símbolo del sistema en Windows 10.

Artículos De Interés

La Elección Del Editor

Cómo enviar un mensaje en Turo
Cómo enviar un mensaje en Turo
https://www.youtube.com/watch?v=eGltipuPazY Turo se ha convertido en una alternativa extremadamente popular a los medios tradicionales para alquilar un automóvil. Al enviar una solicitud de reserva, Turo notificará tanto a los anfitriones como a los invitados al respecto, también
Cómo ver Twitch en un dispositivo Roku
Cómo ver Twitch en un dispositivo Roku
Los dispositivos Roku se encuentran en muchos hogares y brindan un paquete útil para ver películas, programas, etc. Uno de los canales que los usuarios podían agregar a su dispositivo era Twitch, ya que la plataforma de transmisión tiene suficiente entretenimiento para toda la vida. Mientras esto
Cómo cambiar la acción del botón de encendido en Windows 10
Cómo cambiar la acción del botón de encendido en Windows 10
Puede cambiar la acción del botón de encendido en Windows 10. Hay una serie de acciones predefinidas que puede realizar el botón de encendido del hardware de su dispositivo.
Reducir el tamaño de almacenamiento reservado en Windows 10
Reducir el tamaño de almacenamiento reservado en Windows 10
El almacenamiento reservado en Windows 10 es utilizado por actualizaciones, aplicaciones, archivos temporales y cachés del sistema. A continuación, se explica cómo reducir el tamaño del almacenamiento reservado.
Habilitar Ajustar automáticamente las horas activas en Windows 10
Habilitar Ajustar automáticamente las horas activas en Windows 10
A partir de Windows 10 build 18282, el sistema operativo puede ajustar automáticamente las horas de actividad según la actividad de su dispositivo. A continuación, se explica cómo habilitar esta función.
Cómo deshabilitar el gesto de deslizamiento de Google Now desde el botón Inicio en Android
Cómo deshabilitar el gesto de deslizamiento de Google Now desde el botón Inicio en Android
Recientemente compré una nueva tableta Android (es una Lenovo A3000) con Android 4.2 instalado. Desde el primer día de su uso, Google Now me molestó mucho, al que se puede acceder mediante el gesto de deslizar desde el botón Inicio. Lo lancé varias veces accidentalmente y decidí deshacerme de esta función.
Spotify Premium ahora solo cuesta 99p durante tres meses, y los usuarios existentes también pueden ahorrar dinero antes del Black Friday
Spotify Premium ahora solo cuesta 99p durante tres meses, y los usuarios existentes también pueden ahorrar dinero antes del Black Friday
Spotify no está llamando a esto una oferta del Black Friday, pero está cayendo justo en medio de la bonanza de las ofertas del Black Friday 2017. Desde el 20 de noviembre hasta el 31 de diciembre de 2017, cualquier persona que se registre en Spotify Premium