|
From: | Aaron Bentley |
Subject: | Re: [Gnu-arch-users] [BUG] FEATURE PLAN -- library nicknames |
Date: | Sat, 05 Jun 2004 11:52:23 -0400 |
User-agent: | Mozilla Thunderbird 0.5 (X11/20040306) |
Tom Lord wrote:
Therefore, there needs to be a mechanism by which libraries have a "default nickname" and by which individual users can assign a different nickname. Commands that operate on specific libraries need to understand these names as indications of which library to operate on.
Aba users should note that its alias system can also be used for library names.
Aaron
[Prev in Thread] | Current Thread | [Next in Thread] |