terminal user interface to jujutsu. Focused on speed and clarity
Fix crash with paths containging spaces
+1
-10
+1
-10
jj_tui/bin/global_funcs.ml
+1
-10
jj_tui/bin/global_funcs.ml
···
9
9
jj_no_log ~snapshot:false ~color:false [ "diff"; "-r"; rev; "--summary" ]
10
10
|> String.split_on_char '\n'
11
11
|> List.filter_map (fun x ->
12
-
if x |> String.trim <> ""
13
-
then (
14
-
match String.split_on_char ' ' x with
15
-
| [ a; b ] ->
16
-
Some (a, b)
17
-
| _ ->
18
-
failwith
19
-
"Getting files should always return a list of file names with a modifier at \
20
-
the start ")
21
-
else None)
12
+
if x |> String.trim <> "" then Base.String.lsplit2 ~on:' ' x else None)
22
13
;;
23
14
24
15
let check_startup () =