From 93c8046cb38d7974077586bd79e8bc26dc89232f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=B2=20Balzarotti?= <anothersms@gmail.com>
Date: Tue, 18 Sep 2018 08:39:02 +0200
Subject: [PATCH] show username at prompt

---
 src/repl.jl | 33 ++-------------------------------
 1 file changed, 2 insertions(+), 31 deletions(-)

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