steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Better docs for users/groups

Doug Coleman 2010-06-21 12:10:45 -05:00
parent b4274253d5
commit 207fa5de49
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/unix/groups/groups-docs.factor
View File

@ -108,13 +108,13 @@ $nl
{ $subsections all-group-names } { $subsections all-group-names }
"Checking if a group exists:" "Checking if a group exists:"
{ $subsections group-exists? } { $subsections group-exists? }
"Real groups:" "Querying/setting the current real group:"
{ $subsections { $subsections
real-group-name real-group-name
real-group-id real-group-id
set-real-group set-real-group
} }
"Effective groups:" "Querying/setting the current effective group:"
{ $subsections { $subsections
effective-group-name effective-group-name
effective-group-id effective-group-id

4
basis/unix/users/users-docs.factor
View File

@ -116,13 +116,13 @@ $nl
{ $subsections all-user-names } { $subsections all-user-names }
"Checking if a user exists:" "Checking if a user exists:"
{ $subsections user-exists? } { $subsections user-exists? }
"Real user:" "Querying/setting the current real user:"
{ $subsections { $subsections
real-user-name real-user-name
real-user-id real-user-id
set-real-user set-real-user
} }
"Effective user:" "Querying/setting the current effective user:"
{ $subsections { $subsections
effective-user-name effective-user-name
effective-user-id effective-user-id