diff options
author | Jameson Rollins <jrollins@finestructure.net> | 2010-01-11 23:17:38 -0500 |
---|---|---|
committer | Jameson Rollins <jrollins@finestructure.net> | 2010-01-11 23:18:10 -0500 |
commit | fb1f418bda543af10195828a19a7c8cc2b250f8c (patch) | |
tree | ec17a35f9a7658af463ec20a7e9186f5a00c6747 /src/share | |
parent | a153845835faa40ec5df6e8ba3ee9a4b2c8d44b0 (diff) |
rename keys-from-userid command to more accurate keys-for-userid
leave the old command for now, but warn as deprecated.
Diffstat (limited to 'src/share')
-rw-r--r-- | src/share/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/common b/src/share/common index de97ef7..7bacd4e 100644 --- a/src/share/common +++ b/src/share/common @@ -762,7 +762,7 @@ process_user_id() { } # output all valid keys for specified user ID literal -keys_from_userid() { +keys_for_userid() { local userID local noKey= local nKeys |