Domande taggate «shell»

Il termine "shell" si riferisce a una classe generale di interpreti di comandi interattivi basati su testo, il più delle volte associati ai sistemi operativi Unix e Linux. Per domande sullo scripting della shell, si prega di utilizzare un tag più specifico come 'bash', 'powershell' o 'ksh'. Senza un tag specifico, dovrebbe essere assunta una soluzione portatile (conforme a POSIX), sebbene sia preferibile usare 'posix' in aggiunta o 'sh'.







24
Controlla se è necessario pull in Git
Come posso verificare se il repository remoto è stato modificato e devo estrarlo? Ora uso questo semplice script: git pull --dry-run | grep -q -v 'Already up-to-date.' && changed=1 Ma è piuttosto pesante. Esiste un modo migliore? La soluzione ideale dovrebbe controllare tutti i rami remoti e restituire i nomi …
623 git  bash  shell 


19
Strumento Bash per ottenere l'ennesima riga da un file
Esiste un modo "canonico" per farlo? Ho usato head -n | tail -1il trucco, ma mi chiedevo se esiste uno strumento Bash che estrae specificamente una linea (o un intervallo di linee) da un file. Per "canonico" intendo un programma la cui funzione principale lo sta facendo.
606 bash  shell  unix  awk  sed 






8
Confronto di numeri in Bash
Sto iniziando a imparare a scrivere script per il terminale Bash, ma non riesco a capire come far funzionare correttamente i confronti. Lo script che sto usando è: echo "enter two numbers"; read a b; echo "a=$a"; echo "b=$b"; if [ $a \> $b ]; then echo "a is greater …
546 bash  shell  numeric 

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.