show username at prompt
parent
6e5996e26f
commit
93c8046cb3
33
src/repl.jl
33
src/repl.jl
|
@ -680,37 +680,8 @@ prev_project_timestamp = nothing
|
||||||
prev_prefix = ""
|
prev_prefix = ""
|
||||||
|
|
||||||
function promptf()
|
function promptf()
|
||||||
global prev_project_timestamp, prev_prefix, prev_project_file
|
global user
|
||||||
project_file = try
|
return string(user.userid, "> ")
|
||||||
Types.find_project_file()
|
|
||||||
catch
|
|
||||||
nothing
|
|
||||||
end
|
|
||||||
prefix = ""
|
|
||||||
if project_file !== nothing
|
|
||||||
if prev_project_file == project_file && prev_project_timestamp == mtime(project_file)
|
|
||||||
prefix = prev_prefix
|
|
||||||
else
|
|
||||||
project = try
|
|
||||||
Types.read_project(project_file)
|
|
||||||
catch
|
|
||||||
nothing
|
|
||||||
end
|
|
||||||
if project !== nothing
|
|
||||||
projname = get(project, "name", nothing)
|
|
||||||
if projname !== nothing
|
|
||||||
name = projname
|
|
||||||
else
|
|
||||||
name = basename(dirname(project_file))
|
|
||||||
end
|
|
||||||
prefix = string("(", name, ") ")
|
|
||||||
prev_prefix = prefix
|
|
||||||
prev_project_timestamp = mtime(project_file)
|
|
||||||
prev_project_file = project_file
|
|
||||||
end
|
|
||||||
end
|
|
||||||
end
|
|
||||||
return prefix * "matrix> "
|
|
||||||
end
|
end
|
||||||
|
|
||||||
# Set up the repl Pkg REPLMode
|
# Set up the repl Pkg REPLMode
|
||||||
|
|
Loading…
Reference in New Issue