Re: Poche righe in bash

#76158
Up
0
Down
::


Precisamente che distribuzione stai usando? A dispetto di quanto dice molta gente, sh è (in generale) diverso da bash, per esempio su Debian e Ubuntu sh è un link simbolico alla shell dash, quindi se vuoi usare la bash nella prima riga scriverai esattamente /bin/bash, se invece vuoi scrivere uno script portabile, che possa girare su una qualsiasi shell senza sfruttare nessuna funzione builtin in una particolare shell la scelta /bin/sh potrebbe essere corretta. Infatti su Debian lo script sembra funzionare se metto /bin/bash al posto di /bin/sh

P. S. dove hai trovato questa soluzione per compilare documenti LaTeX in gedit? Non mi sembra il massimo della comodità se il nome del file è scritto staticamente nello script… Sinceramente mi sono trovato piuttosto male con gedit per scrivere documenti LaTeX (almeno rispetto a molti altri editor), anche usando lo specifico plugin (che mi sembra faccia più danni che altro), ma questa è una mia considerazione personale e non ho intenzione di convincerti di questo

Go to top