equal
deleted
inserted
replaced
50 fun bash_functions () = |
50 fun bash_functions () = |
51 bash_output_check "declare -Fx" |
51 bash_output_check "declare -Fx" |
52 |> split_lines |> map_filter (space_explode " " #> try List.last); |
52 |> split_lines |> map_filter (space_explode " " #> try List.last); |
53 |
53 |
54 fun check_bash_function ctxt arg = |
54 fun check_bash_function ctxt arg = |
55 Completion.check_item Markup.bash_functionN (Markup.bash_function o #1) |
55 Completion.check_entity Markup.bash_functionN |
56 (bash_functions () |> map (rpair ())) ctxt arg; |
56 (bash_functions () |> map (rpair Position.none)) ctxt arg; |
57 |
57 |
58 |
58 |
59 (* directory operations *) |
59 (* directory operations *) |
60 |
60 |
61 fun system_command cmd = |
61 fun system_command cmd = |