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: