From 207fa5de49c087941252ff15afbabd01ccbc5700 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Mon, 21 Jun 2010 12:10:45 -0500 Subject: [PATCH] Better docs for users/groups --- basis/unix/groups/groups-docs.factor | 4 ++-- basis/unix/users/users-docs.factor | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/basis/unix/groups/groups-docs.factor b/basis/unix/groups/groups-docs.factor index 31d1fe8ac4..c430525e40 100644 --- a/basis/unix/groups/groups-docs.factor +++ b/basis/unix/groups/groups-docs.factor @@ -108,13 +108,13 @@ $nl { $subsections all-group-names } "Checking if a group exists:" { $subsections group-exists? } -"Real groups:" +"Querying/setting the current real group:" { $subsections real-group-name real-group-id set-real-group } -"Effective groups:" +"Querying/setting the current effective group:" { $subsections effective-group-name effective-group-id diff --git a/basis/unix/users/users-docs.factor b/basis/unix/users/users-docs.factor index bca41dd5fc..a0b2b264f7 100644 --- a/basis/unix/users/users-docs.factor +++ b/basis/unix/users/users-docs.factor @@ -116,13 +116,13 @@ $nl { $subsections all-user-names } "Checking if a user exists:" { $subsections user-exists? } -"Real user:" +"Querying/setting the current real user:" { $subsections real-user-name real-user-id set-real-user } -"Effective user:" +"Querying/setting the current effective user:" { $subsections effective-user-name effective-user-id