유저,user

Difference between r1.1 and the current

@@ -1,5 +1,30 @@
[[사용자,user]]로 할??
#noindex
[[사용자,user]]로 할?? 
 
http://tunes.org/cliki/user.html

Sub:
[[UI,user_interface]]
[[GUI,graphical_user_interface]]
user_ID = UID - [[식별자,identifier]]
 
// via kornorms at [[Date(2023-10-02T03:52:35)]]
{
지유아이 GUI: Graphic User Interface
엔드유저 end user
멀티유저 multiuser
}
 
[[환경변수,environment_variable]] 중의 하나 ... [[유닉스,Unix]] 호환 [[셸,shell]]의 경우 보통 `$USER` ? { Ggl:user+환경변수 }
 
user-defined xxx
{
rel. [[setting]] [[설정]] [[configuration]]
 
 
user-defined syntax
user-defined color scheme
...
 
}



사용자,user로 할까??




// via kornorms at 2023-10-02
{
지유아이 GUI: Graphic User Interface
엔드유저 end user
멀티유저 multiuser
}

환경변수,environment_variable 중의 하나 ... 유닉스,Unix 호환 셸,shell의 경우 보통 $USER ? { Ggl:user 환경변수 }

user-defined xxx
{
rel. setting 설정 configuration


user-defined syntax
user-defined color scheme
...

}