Shell script – i commenti rallentano l’esecuzione?

Ah saperlo! Ho provato a googlare ma niente di che. Ho scoperto cose come Colombo, niente Cina ma la Merica!

Sembra che Python non ne sia influenzato, se non in certi casi, qui.
Inoltre, tornando alla shell: bash è lenta, meglio dash o ksh; ma meglio ancora Perl.
E dash è quella che con ‘buntu si chiama sh, qui e qui.

OK per quanto riguarda la questione in esame niente di meglio che provare, con un test, così alla buona. Tanto gli script sono sempre abbastanza veloci a meno di errori di programmazione, secondo me. E continuerò con bash.

Per i test userò varianti di questo script minimale, c_0:

#!/bin/bash
echo -e "\ntanto per fare qualcosa: "$(( 3 + 4 ))

In questo script inserisco dei commenti. Qualsiasi stringa va bene e allora mi rifugio nei classici. Non so cosa pensate voi della letteratura italiana, per me è sempre stata —ahemmm… non so come dirlo– nel suo complesso. Ma ci sono anche eccezioni, per esempio l’Ariosto con l’Orlando Furioso. Anche Galileo lo cita a volte e allora anch’io.
C’è online, come file di testo, basta scaricarlo:

Il file inizia con un banner, info su Liber-Liber e il Progetto Manuzio, e simili; la prima riga utile è la 159 per cui ecco come procedo per estrarre 10, 100 e 1000 righe.

Il file t10 è questo

inserisco all’inizio di ogni riga # in modo da rendere la riga un commento

Inserisco la shebang

Il comando echo -e "\ntanto per fare qualcosa: "$(( 3 + 4 )) si potrebbe appendere con sed '$ axxxx' t10-1 ma è probabilmente più semplice salvarlo nel file c_ e concatenarlo a t10-1 ottenendo t10.sh:

Lo abilito e lo eseguo usando time per monitorare il tempo richiesto

Similmente creo t100.sh e t1000.sh

OK, i commenti non rallentano 😊
E sì, troppi files temporanei ma era per illustrare il processo passo-passo 😊

Il tempo è talmente breve che è inutile effettuare più esecuzioni; basta questa. Caso risolto, imh0.

:mrgreen:

Posta un commento o usa questo indirizzo per il trackback.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo di WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione /  Modifica )

Google photo

Stai commentando usando il tuo account Google. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

Connessione a %s...

Questo sito utilizza Akismet per ridurre lo spam. Scopri come vengono elaborati i dati derivati dai commenti.

%d blogger hanno fatto clic su Mi Piace per questo: