2019-02-12 20:32:40 +01:00
|
|
|
{
|
|
|
|
"files.associations": {
|
2019-02-14 13:46:33 +01:00
|
|
|
"**/templates/*.html": "django-html"
|
2019-02-20 12:57:40 +01:00
|
|
|
},
|
|
|
|
"saveAndRun": {
|
|
|
|
"commands": [
|
|
|
|
{
|
|
|
|
"match": "website/.*",
|
2019-03-25 15:07:02 +01:00
|
|
|
"cmd": "time mark2web -in ${workspaceRoot}/website -out ${workspaceRoot}/html -create -logLevel warning -progress",
|
2019-02-20 12:57:40 +01:00
|
|
|
"silent": false
|
|
|
|
}
|
|
|
|
]
|
2019-02-12 20:32:40 +01:00
|
|
|
}
|
|
|
|
}
|