¿Qué hace el comando Builtin en Bash Do?
Los comandos integrados en Bash pueden ser extremadamente útiles, pero ¿qué hace realmente el "builtin"? La publicación de preguntas y respuestas SuperUser de hoy tiene la respuesta a la pregunta de un lector curioso.
La sesión de preguntas y respuestas de hoy nos llega por cortesía de SuperUser, una subdivisión de Stack Exchange, una agrupación de sitios de preguntas y respuestas impulsada por la comunidad.
The Question
SuperUser reader lfalin quiere saber qué hace el comando incorporado en Bash:
Sé lo que es un comando integrado, pero ¿qué hace incorporado ? Ejecutando que ls me muestra / bin / ls , pero la ejecución que incluye no devuelve nada. man builtin simplemente me da una lista de comandos integrados comandos, uno de los cuales es incorporado . El resto de la página man explica qué es un comando incorporado, pero no lo que es incorporado . built-up me dice built-in: usage: builtin [shell-builtin [ arg ...]] , pero aún no es lo que hace. ¿Es una parte de Bash de una manera que otros comandos integrados no lo son?
¿Qué hace el comando incorporado en Bash?
El colaborador de Superresponder Answer
Spiff tiene la respuesta para nosotros:
La compilación integrada comando se asegura de que ejecuta la versión incorporada del comando en lugar de ejecutar otro comando con el mismo nombre.
Por ejemplo, imagine que definió una función de shell llamada cd para imprimir un estado adicional cada vez que cambias directorios, pero lo arruinaste y ahora no puedes cambiar los directorios correctamente. Así que ahora puede escribir cd ~ incorporado con éxito cd en su directorio de inicio sin ejecutar la función de shell quebrada.
Por cierto, mi copia de la página de manual de Bash ha una sección llamada "SHELL BUILTIN COMMANDS", y define el significado del comando incorporado en esa sección (se transcribe a continuación).
¿Tiene algo que agregar a la explicación? Suena apagado en los comentarios. ¿Desea leer más respuestas de otros usuarios de Stack Exchange expertos en tecnología? Consulte el hilo de discusión completo aquí.
Cómo cambiar el formato de las fechas y horas en Windows 10
De forma predeterminada, Windows da formato a las fechas con barras diagonales (3/23/16). Sin embargo, si desea utilizar un formato diferente para la fecha, como el uso de períodos en lugar de barras diagonales (3.23.16), eso es fácil de cambiar en la configuración de Windows. También puede cambiar el formato de la hora.
Cómo subir su biblioteca de música a Google Play Music
Google Play Music ofrece una suscripción de transmisión de música ilimitada combinada con YouTube Red, pero es más que eso. Incluso si la música que desea escuchar no está disponible en la biblioteca de transmisión de Google, puede agregarla a su biblioteca personal de Google Play Music y escuchar desde cualquier dispositivo.
