diff --git a/src/repl.jl b/src/repl.jl index be810a6..4ee9663 100644 --- a/src/repl.jl +++ b/src/repl.jl @@ -680,37 +680,8 @@ prev_project_timestamp = nothing prev_prefix = "" function promptf() - global prev_project_timestamp, prev_prefix, prev_project_file - project_file = try - 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> " + global user + return string(user.userid, "> ") end # Set up the repl Pkg REPLMode