equal
deleted
inserted
replaced
41 @main |
41 @main |
42 def hg() = { |
42 def hg() = { |
43 println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call()) |
43 println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call()) |
44 println(os.proc("hg", "push").call()) |
44 println(os.proc("hg", "push").call()) |
45 } |
45 } |
|
46 |
|
47 // extensions of files to be deleted |
|
48 val todelete = |
|
49 List("fdb_latexmk", |
|
50 "log", |
|
51 "aux", |
|
52 "xdv", |
|
53 "out", |
|
54 "fls") |
|
55 |
|
56 |
|
57 @main |
|
58 def clean() = { |
|
59 for (f <- os.list.stream(os.pwd) if todelete.contains(f.ext)) { |
|
60 println(s"Delete: ${f.last}") |
|
61 os.remove(f) |
|
62 } |
|
63 } |
|
64 |