Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Switching shell safely and efficiently

X-seq: zsh-workers 15754
From: Adam Spiers <adam@xxxxxxxxxx>
To: zsh-workers@xxxxxxxxxx
Subject: Re: Switching shell safely and efficiently
Date: Sat, 8 Sep 2001 03:18:44 +0100
In-reply-to: <010907152846.ZM18111@xxxxxxxxxxxxxxxxxxxxxxx>; from schaefer@xxxxxxxxxxxxxxxx on Fri, Sep 07, 2001 at 03:28:46PM -0700
Mail-followup-to: zsh-workers@xxxxxxxxxx
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <20010907193550.A5678@xxxxxxxxxxxxxxxxxxxxxxx> <1010907190526.ZM17902@xxxxxxxxxxxxxxxxxxxxxxx> <20010907234517.A6901@xxxxxxxxxxxxxxxxxxxxxxx> <010907152846.ZM18111@xxxxxxxxxxxxxxxxxxxxxxx>
Reply-to: Adam Spiers <adam@xxxxxxxxxx>

Bart Schaefer (schaefer@xxxxxxxxxxxxxxxx) wrote:
> On Sep 7, 11:45pm, Adam Spiers wrote:
> > more stylish than my attempt, it's not quite as efficient through
> > having to fork the shell before running it properly.  To this end, a
> > slight improvement might be skipping start-up files
> 
> I knew you were going to say that.
> 
> I chose to omit the -f in case the contents of the startup files are what
> causes the shell to fail.  You did want safety ...

Bah, you're too clever ;-)

References:
- Switching shell safely and efficiently
  - From: Adam Spiers
- Re: Switching shell safely and efficiently
  - From: Bart Schaefer
- Re: Switching shell safely and efficiently
  - From: Adam Spiers
- Re: Switching shell safely and efficiently
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author