Re: shell di default per script.

2003-02-12 Per discussione pbm
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 alberto, Tue, Feb 11, 2003 at 09:51:12AM -0800: > Per me ci potrebbero essere 3 possibilita': > 1) Lo interpreta la shell corrente. Ho un sistema in cui pero' questo NON >succede. Lo lancia la shell corrente; come essa lo lanci sta indicato

Re: shell di default per script.

2003-02-11 Per discussione alberto
pbm: non esiste un interprete di default per gli script, proprio a livello concettuale... Ma deve esistere! Se io scrivo 4 righe di comandi su un file e lo faccio eseguibile senza anteporre #!, CHI me lo interpreta? Per me ci potrebbero essere 3 possibilita': 1) Lo interpreta

Re: shell di default per script.

2003-02-10 Per discussione pbm
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 alberto, Mon, Feb 10, 2003 at 02:26:16PM -0800: > L'utente in questione non vuole aggiungere lo shahbang. Non sa neanche lui > quanti script ha ereditati e dove siano. Sa che sono tcsh e vorrebbe questa il problema e' che non esiste un interprete di

Re: shell di default per script.

2003-02-10 Per discussione alberto
L'utente in questione non vuole aggiungere lo shahbang. Non sa neanche lui quanti script ha ereditati e dove siano. Sa che sono tcsh e vorrebbe questa come shell di default. (Minghia France', non mi far spiegare tutto...!) ciao a. > > Ciao, > > e' possibile cambiare la shell che per defau

Re: shell di default per script.

2003-02-10 Per discussione Francesco Paolo Lovergine
On Mon, Feb 10, 2003 at 12:48:14PM -0800, alberto wrote: > > Ciao, > > e' possibile cambiare la shell che per default interpreta gli script? > > Se un utente volesse che per default fosse tcsh, invece di bash/bourne? > (Senza mettere #!) > Che idea balzana. Spiegami quale e' la difficolta'

shell di default per script.

2003-02-10 Per discussione alberto
Ciao, e' possibile cambiare la shell che per default interpreta gli script? Se un utente volesse che per default fosse tcsh, invece di bash/bourne? (Senza mettere #!) E' sufficiente/sicuro mettere $SHELL=/bin/tcsh? O qualcos'altro viene usato per configurare la shell di default? grazie