blob: a125263572750c176b1ce0002ff49af6105dd18c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#use "topfind";;
#require "core";;
open Core;;
#require "lambda-term";;
let path = Sys.getcwd () in
let home = Sys.home_directory () in
let path =
if Zed_utf8.starts_with path home then
Zed_utf8.replace path 0 (Zed_utf8.length home) "~"
else
path
in
let version = Sys.ocaml_version in
let host = Unix.gethostname () in
let formatted = LTerm_text.eval
[B_bold true;
B_fg (LTerm_style.white); S "ā[";
B_fg (LTerm_style.lmagenta); S (Printf.sprintf "ocaml-%s@%s " version host);
B_fg (LTerm_style.lcyan); S (Printf.sprintf "%s" path);
B_fg (LTerm_style.white); S "]\nā: "]
in UTop.prompt := fst (React.S.create formatted);;
|