获取Julia(Linux)中的当前用户名

时间:2015-01-07 00:53:01

标签: linux julia

我必须做一些愚蠢的事,但我似乎无法使用Julia检索当前的用户名。 Base中最接近的函数似乎是gethostname(),但会返回计算机名称,而不是用户名。我尝试了系统调用但由于插值字符$而遇到问题。具体来说,虽然echo $USER在终端中返回相应的用户名,但当我在Julia中尝试以下内容时,我会收到各种错误或错误答案:

run(`echo $USER`)
run(`echo "$USER"`)
run(`echo '$USER'`)
run(`echo '$'USER`)
run(`echo \$USER`)

我想问题是Julia误将$误解为插值,但我不知道如何解决这个问题。

有什么想法吗?

2 个答案:

答案 0 :(得分:8)

简单的解决方法:

run(`whoami`)

但不必要,因为这有效:

ENV["USER"]

答案 1 :(得分:2)

这在Linux和Windows上均可使用:

splitdir(homedir())[end]