Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Getting the CVS revision of Zsh
- X-seq: zsh-users 13708
- From: Richard Hartmann <richih.mailinglist@xxxxxxxxx>
- To: Zsh Users <zsh-users@xxxxxxxxxx>
- Subject: Re: Getting the CVS revision of Zsh
- Date: Wed, 14 Jan 2009 14:33:28 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=EHf7Iod23bnQbhpdlx6sMFPzd0rNKWOxgLN7SX2jrtM=; b=TJ7LxUBFyAjL25PHSCaVl5Da6V5fX0YwuWxmHSKwxhqK5u86D6cCkjUUES49Bz0o41 z6W2ILl3gUEM8bWHO4j3nCdTrKZjLisZW3UTZ27KDwHeqLAdDL45j/k57hFQQPexbGgr YVoE6V3D1XG5RHlYUia4kqN6gFrjYKjbvW6oA=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=ccSvyQTVZrHKIAPdraFYBG68dUdsBqy+dAYfZgOhF3g5wRY6zJuCp0cUQ04tnKw3wv b4840yOr4phmwkzV0uTjANDmQWZ/p0Phq98gxo8gt1+V7rrajpYjbwY43wDlowFRyG6d aTB6SEfUXgWBERdf2e71EgHONom+OFhQl4cWA=
- In-reply-to: <2d460de70901090301h6b309a7cm19c5ebfec989ff2c@xxxxxxxxxxxxxx>
- Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
- References: <2d460de70901090301h6b309a7cm19c5ebfec989ff2c@xxxxxxxxxxxxxx>
On Fri, Jan 9, 2009 at 12:01, Richard Hartmann
<richih.mailinglist@xxxxxxxxx> wrote:
> I am wondering if there is any way to get the CVS revision number
> of the sources a particular incarnation of Zsh was built with.
> And yes, I am aware that distros apply patches, but it would still
> be useful :)
After some more thinking, another interesting tidbit of information
would be if the instance of zsh which is running is a released
version. $ZSH_PATCHLEVEL itself does not show that, it simply
tells the user about the revision, nothing more.
$ZSH_VERSION is not really suited imho as it will always be
filled and thus requires parsing.
My suggestion would be to introduce a new variable called
$ZSH_RELEASE which is only filled if the source zsh was
compiled from is tagged as a release.
I.e. in the next release, I would be able to do
% echo $ZSH_PATCHLEVEL
1234
% echo $ZSH_RELEASE
4.3.10
%
Thoughts?
Richard
PS: Maybe there is a clean way in current zsh to do this?
Messages sorted by:
Reverse Date,
Date,
Thread,
Author