equal
deleted
inserted
replaced
34 { |
34 { |
35 val output_path = extension_dir + Path.explode("out") |
35 val output_path = extension_dir + Path.explode("out") |
36 progress.echo(output_path.implode) |
36 progress.echo(output_path.implode) |
37 |
37 |
38 progress.bash( |
38 progress.bash( |
39 "npm install && npm update --dev && vsce " + (if (publish) "publish" else "package"), |
39 "npm install && npm update --dev && vsce " + |
|
40 (if (publish) |
|
41 "publish --baseImagesUrl http://isabelle.in.tum.de/repos/isabelle/raw-file/tip/src/Tools/VSCode/extension" |
|
42 else "package"), |
40 cwd = extension_dir.file, echo = true).check |
43 cwd = extension_dir.file, echo = true).check |
41 } |
44 } |
42 |
45 |
43 |
46 |
44 /* Isabelle tool wrapper */ |
47 /* Isabelle tool wrapper */ |