[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [Debian]: profile wird nicht gelesen



On Mon, Jul 20, 1998 at 12:23:01PM +0200, Thomas Kobienia wrote:
> > echo "exec tcsh" >> $HOME/.bash_profile ausführen.
> > Was ist daran kompliziert??
> 
> Es ist doch wohl sehr umstaendlich ( im Sinne von ueberfluessig) erst die bash
> zu starten und dann erst die tcsh. Das kostet doch jedesmal einen Prozess und
> Speicher extra.

Stimmt nicht - die tcsh wird ja mittels exec gestartet - damit wird der
bash-Prozess durch den tcsh-Prozess ersetzt.

-- 
So long.
franz

Franz Schwarz  ###  eMail fschwarz@gmx.net
------------------------------------------------
Um sich aus der Liste auszutragen schicken Sie
bitte eine E-Mail an majordomo@jfl.de die im Body
"unsubscribe debian-user-de <your_email_address>"
enthaelt.
Bei Problemen bitte eine Mail an: Jan.Otto@jfl.de
------------------------------------------------
Anzahl der eingetragenen Mitglieder:     494


Reply to: