phhsnews.com


phhsnews.com / Que fait la commande intégrée dans Bash

Que fait la commande intégrée dans Bash


Les commandes intégrées dans Bash peuvent être extrêmement utiles, mais que fait réellement "builtin"?

La session questions-réponses d'aujourd'hui nous est offerte par SuperUser, une subdivision de Stack Exchange, un regroupement communautaire de sites Web de questions-réponses.

La question

Lecteur SuperUser lfalin veut savoir ce que fait la commande builtin dans Bash:

Je sais ce qu'est une commande interne, mais que fait builtin elle-même? L'exécution de qui ls me montre / bin / ls , mais l'exécution de qui contient ne renvoie rien. man builtin me donne une liste de builtin commandes, dont l'une est intégrée . Le reste de la page de manuel explique ce qu'est une commande intégrée, mais pas ce qui est builtin elle-même. builtin -help me dit builtin: usage: builtin [shell-builtin [ arg ...]] , mais toujours pas ce qu'il fait. Est-ce que c'est une partie de Bash d'une manière que les autres commandes intégrées ne sont pas?

Que fait la commande intégrée dans Bash?

Le contributeur SuperUser Answer

Spiff a la réponse pour nous:

Le builtin La commande vous permet d'exécuter la version intégrée de la commande plutôt que d'exécuter une autre commande portant le même nom.

Par exemple, imaginons que vous ayez défini une fonction shell nommée cd pour imprimer un statut supplémentaire temps que vous changez de répertoire, mais vous l'avez foiré et maintenant vous ne pouvez pas changer de répertoire correctement. Vous pouvez maintenant taper builtin cd ~ avec succès cd dans votre répertoire personnel sans exécuter votre fonction shell cassée.

A ce propos, ma copie de la page de manuel Bash a une section appelée "SHELL BUILTIN COMMANDS", et elle définit la signification de la commande intégrée dans cette section (transcrite ci-dessous).


Avez-vous quelque chose à ajouter à l'explication? Sonnez dans les commentaires. Vous voulez lire plus de réponses d'autres utilisateurs de Stack Exchange? Découvrez le fil de discussion complet ici.


Qu'est-ce que NVIDIA SHIELD?

Qu'est-ce que NVIDIA SHIELD?

En 2013, NVIDIA a sorti une console de jeu portable Android appelée "SHIELD". Depuis ce jour, NVIDIA a sorti un certain nombre de produits différents sous le même nom, ce qui a été un peu déroutant. NVIDIA SHIELD? CONNEXION: Comment diffuser des jeux avec NVIDIA GameStream sur n'importe quel ordinateur, tablette ou smartphone La réponse courte est que SHIELD est maintenant une famille de produits, conçus pour jouer à des jeux vidéo et faire d'autres choses (comme le streaming vidéo).

(how-top)

Comment jouer à Windows 10 Store Games Offline

Comment jouer à Windows 10 Store Games Offline

Jusqu'à tout récemment, les jeux Windows Store 10 ne pouvaient être lus que lorsqu'ils étaient connectés à Internet. Microsoft a heureusement changé cela, mais comme d'habitude, ils ont dû compliquer les choses: Vous ne pouvez avoir qu'un seul "périphérique hors ligne désigné" à la fois. Comment définir votre périphérique hors ligne désigné CONNEXION: Pourquoi Vous ne devriez pas acheter Rise of the Tomb Raider (et autres jeux pour PC) sur le Windows Store Si vous avez plusieurs appareils Windows 10, vous devrez en marquer un seul comme Périphérique hors ligne "en ligne avant de pouvoir jouer à des jeux.

(how-top)