Handbook
Glossary
set-file-user ( path string/id -- )
Unix file attributes
ยป
Unix file user and group ids
Prev:
file-user-name ( path -- string )
Next:
file-group-id ( path -- gid )
Vocabulary
io
.
files
.
info
.
unix
Inputs
path
a pathname string
string/id
a string or a user id
Outputs
None
Word description
Sets a file's user id from the given user id or user-name.
Definition
IN:
io.files.info.unix
GENERIC:
set-file-user
( path string/id -- )
Methods
USING:
io.files.info.unix
math
;
M:
integer
set-file-user
f
set-file-ids
;
USING:
io.files.info.unix
strings
unix.users
;
M:
string
set-file-user
user-id
f
set-file-ids
;