在 Julia (Linux) 中获取当前用户名
Get current username in Julia (Linux)
我一定是在做蠢事,但我似乎无法使用 Julia 检索当前用户名。 Base
中最接近的函数似乎是 gethostname()
,但 returns 是计算机名称,而不是用户名。我尝试了系统调用,但由于插值字符 $
而遇到问题。具体来说,虽然 echo $USER
returns 终端中的适当用户名,但当我在 Julia 中尝试以下操作时,我会收到各种错误或不正确的答案:
run(`echo $USER`)
run(`echo "$USER"`)
run(`echo '$USER'`)
run(`echo '$'USER`)
run(`echo $USER`)
我想问题是 Julia
将 $
误解为插值,但我不知道如何解决这个问题。
有什么想法吗?
一个简单的解决方法:
run(`whoami`)
但没必要,因为这个有效:
ENV["USER"]
这适用于 Linux 和 Windows:
splitdir(homedir())[end]
我一定是在做蠢事,但我似乎无法使用 Julia 检索当前用户名。 Base
中最接近的函数似乎是 gethostname()
,但 returns 是计算机名称,而不是用户名。我尝试了系统调用,但由于插值字符 $
而遇到问题。具体来说,虽然 echo $USER
returns 终端中的适当用户名,但当我在 Julia 中尝试以下操作时,我会收到各种错误或不正确的答案:
run(`echo $USER`)
run(`echo "$USER"`)
run(`echo '$USER'`)
run(`echo '$'USER`)
run(`echo $USER`)
我想问题是 Julia
将 $
误解为插值,但我不知道如何解决这个问题。
有什么想法吗?
一个简单的解决方法:
run(`whoami`)
但没必要,因为这个有效:
ENV["USER"]
这适用于 Linux 和 Windows:
splitdir(homedir())[end]