1352 |
Printf.sprintf "Error %s" (Printexc2.to_string e) |
Printf.sprintf "Error %s" (Printexc2.to_string e) |
1353 |
), "<option_name> <option_value> :\t$bchange option value$n"; |
), "<option_name> <option_value> :\t$bchange option value$n"; |
1354 |
|
|
1355 |
"save", Arg_none (fun o -> |
"save", Arg_multiple (fun args o -> |
1356 |
DriverInteractive.save_config (); |
let buf = o.conn_buf in |
1357 |
_s "saved"), ":\t\t\t\t\tsave"; |
match args with |
1358 |
|
["options"] -> DriverInteractive.save_config (); _s "options saved" |
1359 |
|
| ["sources"] -> CommonComplexOptions.save_sources (); _s "sources saved" |
1360 |
|
| _ -> DriverInteractive.save_config (); |
1361 |
|
CommonComplexOptions.save_sources (); _s "options and sources saved" |
1362 |
|
), "<options|sources|(empty for all)>:\t\tsave options and/or sources"; |
1363 |
|
|
1364 |
"vo", Arg_none (fun o -> |
"vo", Arg_none (fun o -> |
1365 |
let buf = o.conn_buf in |
let buf = o.conn_buf in |