Source file commandPostSession.ml
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
open Ez_file.V1
open Ezcmd.TYPES
let cmd_name = "post-session"
let action args =
Misc.log_cmd ~nvo:None cmd_name args ;
Misc.global_log ~nvo:None "Session ended";
let filename = Globals.opambin_session_msg_file () in
if Sys.file_exists filename then
let s = EzFile.read_file filename in
Printf.printf "%s actions:\n%s%!" Globals.command s;
Sys.remove filename
let cmd =
let args = ref [] in
Arg.{
cmd_name ;
cmd_action = (fun () -> action !args) ;
cmd_args = [
[], Anons (fun list -> args := list),
Ezcmd.info "args"
];
cmd_man = [];
cmd_doc = "(opam hook) End Session";
}