Che cosa fa il comando incorporato in Bash Do?
I comandi incorporati in Bash possono essere estremamente utili, ma cosa fa realmente "builtin" stesso? Il post di Q & A di SuperUser di oggi ha la risposta alla domanda di un lettore curioso.
La sessione di domande e risposte di oggi ci viene fornita per gentile concessione di SuperUser, una suddivisione di Stack Exchange, un raggruppamento di siti Web di domande e risposte.
La domanda
Lettore SuperUser vuole sapere che cosa fa il comando integrato in Bash:
So cosa è un comando incorporato, ma cosa fa built stesso? Eseguendo quale ls mi mostra / bin / ls , ma eseguendo che incorporato non restituisce nulla. man builtin mi dà solo una lista di builtin comandi, uno dei quali è incorporato . Il resto della pagina man spiega cos'è un comando incorporato, ma non quello che è incorporato stesso. builtin -help mi dice builtin: usage: builtin [shell-builtin [ arg ...]] , ma ancora non quello che fa. È una parte di Bash in un modo che altri comandi incorporati non sono?
Che cosa fa il comando incorporato in Bash?
La risposta
Collaboratore SuperUser Spiff ha la risposta per noi:
L'incorporato comando assicura di eseguire la versione integrata del comando shell anziché eseguire un altro comando con lo stesso nome.
Ad esempio, immagina di aver definito una funzione di shell denominata cd per stampare uno stato extra ogni tempo di cambiare directory, ma l'hai incasinato e ora non puoi cambiare directory correttamente. Quindi ora puoi digitare built cd ~ con successo cd di nuovo nella tua home directory senza eseguire la tua funzione di shell rotta.
A proposito, la mia copia della pagina man di Bash ha una sezione chiamata "COMANDI INCORPORATI DELLA SHELL" e definisce il significato del comando incorporato in quella sezione (trascritto sotto).
Hai qualcosa da aggiungere alla spiegazione? Audio disattivato nei commenti. Vuoi leggere più risposte dagli altri utenti di Stack Exchange esperti di tecnologia? Controlla il thread completo di discussione qui.
Usa Facebook "In questo giorno" per ripulire il tuo passato di Facebook
Mi sono iscritto a Facebook circa dieci anni fa e da allora lo uso quotidianamente. Ma sono un po 'imbarazzato dai miei post davvero vecchi. Quando mi sono iscritto, avevo 16 anni, alle superiori e incredibilmente scontroso. La maggior parte dei miei post da allora dice cose come "Harry Guinness è depresso" o semplicemente "ugggghhhhh".
Google, la più grande società pubblicitaria del mondo, bloccherà presto gli annunci. È così bello?
Finalmente sta succedendo: il 15 febbraio 2018, il browser Chrome di Google bloccherà alcuni annunci immediatamente, indipendentemente dal fatto che sia stato installato un blocco annunci separato. Ciò significa che Google, la più grande società pubblicitaria del web, inizierà a decidere quali annunci fanno e non vengono bloccati nel browser.
