software-archive/logarion-2016
2
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Copy .logarion/static into export directory's static/

Browse Source
This commit is contained in:
Stavros Polymenis 2017-11-20 21:05:41 +00:00
parent f711c7ea37
commit 6bfb636d8e
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/logarion_cli.ml
View File

@ -25,6 +25,9 @@ let create_dir_msg ?(descr="") dir res =
in
res
let copy ?(recursive = false) src dst =
Bos.OS.Cmd.run (Bos.Cmd.(v "cp" %% (on recursive @@ v "-r") % src % dst))
let init force =
let rec create_dirs = function
| [] -> ()
@ -127,7 +130,10 @@ let convert directory =
close_out out
in
match create_dir directory |> create_dir_msg ~descr:"export" directory with
| Ok _ -> List.iter file_creation notes
| Ok _ ->
(match copy ~recursive:true ".logarion/static" (directory) with
| Ok _ -> List.iter file_creation notes
| Error (`Msg m) -> prerr_endline m)
| Error _ -> ()
let convert_term =