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.
Che cos'è UEFI e in che modo è diverso dal BIOS?
Il BIOS sarà presto morto: Intel ha annunciato l'intenzione di sostituirlo completamente con UEFI su tutti i suoi chipset entro il 2020. Ma che cosa è UEFI, e in che modo è diverso dal BIOS che tutti conosciamo? Sia UEFI che BIOS sono software di basso livello che si avviano quando si avvia il PC prima di avviare il sistema operativo, ma UEFI è una soluzione più moderna , supporto di dischi rigidi più grandi, tempi di avvio più rapidi, più funzioni di sicurezza e cursori grafici e mouse convenienti.
Come masterizzare DVD di foto e video in Windows 7 (senza software aggiuntivo)
Software come DVD Flick è ottimo per masterizzare video su DVD, ma Windows 7 include in realtà un software di masterizzazione di DVD integrato . Stranamente, è l'ultima volta che l'azienda lo ha fatto, mentre Windows 8 e Windows 10 possono riprodurre film in DVD, non possono crearli con un masterizzatore DVD senza strumenti di terze parti.
