Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Simple way to save/restore options?
- X-seq: zsh-users 848
- From: Zefram <zefram@xxxxxxxxxxxxxxxxx>
- To: borsenkow.msk@xxxxxx
- Subject: Re: Simple way to save/restore options?
- Date: Mon, 12 May 1997 18:46:53 +0100 (BST)
- Cc: zsh-users@xxxxxxxxxxxxxxx
- In-reply-to: <Pine.SV4.3.95.970512155651.26100A-100000@itsrm1> from "Andrej Borsenkow" at May 12, 97 04:00:09 pm
Andrej Borsenkow wrote:
>It appears, that emulate sh (or emulate zsh) resets some options (notably
>nobangihst). Is there more simple way to source /etc/profile in /bin/sh
>mode and preserve any settings made before?
function sh_. {
emulate sh
setopt localoptions
. "$@"
}
-zefram
Messages sorted by:
Reverse Date,
Date,
Thread,
Author