
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.
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?
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.
Come aggiungere allegati in Gmail per l'iPhone
Mentre l'email è ancora una forma di comunicazione incredibilmente popolare, non fa sempre parte della vita quotidiana di tutti. E se arriva il momento in cui devi inviare un documento, un'immagine o qualche altro file utilizzando Gmail, dovrai sapere come allegarlo. Potrebbe sembrare una cosa banale da spiegare, soprattutto a qualcuno che passa molto tempo a lavorare con la posta elettronica.
Come usare Google Home per ricordare dove mettere le cose
Google Home può aiutarti a ricordare cose importanti, come dove hai messo il tuo passaporto o quale è la tua password Wi-Fi. Ecco come usarlo per ricordare tutte le cose che dimentichi costantemente. Il nuovo comando "ricorda" ti permette di fare note verbali su cose specifiche che probabilmente dimenticherai.