Domande taggate «shell»

La shell è l'interfaccia della riga di comando di Unix. È possibile digitare i comandi in una shell in modo interattivo o scrivere script per automatizzare le attività. Usa questo tag per domande relative a / bin / sh e alle shell più compatibili (ash, bash, ksh, zsh, ...). Per gli script di shell con errori, si prega di controllarli in http://shellcheck.net prima di pubblicare qui.

13
Disattiva il buffering nel pipe
Ho uno script che chiama due comandi: long_running_command | print_progress Le long_running_commandstampe sono un progresso ma non sono soddisfatto. Sto usando print_progressper renderlo più bello (vale a dire, stampo l'avanzamento in una sola riga). Il problema: la connessione di una pipe allo stdout attiva anche un buffer 4K, al bel …
395 shell  pipe  buffer 
11
Come uso i comandi pushd e popd?
Quali sono gli usi pratici di entrambi pushde popdquando vi è il vantaggio di usare questi due comandi oltre cde cd -? EDIT : sto cercando alcuni esempi pratici di usi per entrambi questi comandi o motivi per mantenere lo stack con le directory (quando hai il completamento con la …
332 shell  cd-command  pushd 
5
Perché non usare "quale"? Cosa usare allora?
Quando si cerca il percorso di un file eseguibile o il controllo che cosa accadrebbe se si immette un nome di comando in una shell Unix, c'è una pletora di diverse utenze ( which, type, command, whence, where, whereis, whatis, hash, ecc). Sentiamo spesso che whichdovrebbe essere evitato. Perché? Cosa …
10
Come aggiungere più righe a un file
Sto scrivendo uno script bash per cercare un file se non esiste, quindi crearlo e aggiungerlo ad esso: Host localhost ForwardAgent yes Quindi "line then new line 'tab' then text"penso che sia un formato sensibile. So che puoi farlo: cat temp.txt >> data.txt Ma sembra strano fin dalle sue due …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.