kopia lustrzana https://github.com/deathbeds/ipydrawio
move submodule
rodzic
5ab21d1bd6
commit
7a031f8d94
|
@ -1,3 +1,3 @@
|
|||
[submodule "src/drawio"]
|
||||
path = src/drawio
|
||||
path = drawio
|
||||
url = https://github.com/jgraph/drawio.git
|
||||
|
|
2385
package.json
2385
package.json
Plik diff jest za duży
Load Diff
|
@ -6,7 +6,7 @@
|
|||
"source": [
|
||||
"# drawio file updater\n",
|
||||
"\n",
|
||||
"The [drawio](https://github.com/jgraph/drawio) distribution, submoduled into `src/drawio` is very large. We need to distribute parts of it, so that they are available on end user's computers."
|
||||
"The [drawio](https://github.com/jgraph/drawio) distribution, submoduled into `./drawio`, is very large. We need to distribute parts of it, so that they are available on end user's computers."
|
||||
]
|
||||
},
|
||||
{
|
||||
|
@ -47,7 +47,7 @@
|
|||
"source": [
|
||||
"ROOT = Path.cwd().parent\n",
|
||||
"SRC = ROOT / \"src\"\n",
|
||||
"DIO = SRC / \"drawio\"\n",
|
||||
"DIO = ROOT / \"drawio\"\n",
|
||||
"DIO_APP = DIO / \"src\" / \"main\" / \"webapp\"\n",
|
||||
"ALL_FILES = sorted(DIO_APP.rglob(\"*.*\"))\n",
|
||||
"WANT_FILES = set()\n",
|
||||
|
@ -139,7 +139,7 @@
|
|||
"source": [
|
||||
"## WTF JSON\n",
|
||||
"\n",
|
||||
"Apparently, JSON files are not so good to use with file-loader."
|
||||
"Apparently, JSON files are not so good to use with `file-loader`."
|
||||
]
|
||||
},
|
||||
{
|
||||
|
@ -210,8 +210,8 @@
|
|||
"outputs": [],
|
||||
"source": [
|
||||
"BASE_FILES = [\n",
|
||||
" \"lib/**/*.{d.ts,eot,gif,html,jpg,js,js.map,json,png,svg,woff2,ttf,css}\",\n",
|
||||
" \"style/**/*.{css,eot,gif,html,jpg,json,png,svg,woff2,ttf}\"\n",
|
||||
" \"{lib,schema,style}/**/*.{d.ts,eot,gif,html,jpg,js,js.map,json,png,svg,woff2,css}\",\n",
|
||||
" \"LICENSE.txt\"\n",
|
||||
"]"
|
||||
]
|
||||
},
|
||||
|
@ -223,7 +223,7 @@
|
|||
{
|
||||
"data": {
|
||||
"text/plain": [
|
||||
"101380"
|
||||
"96578"
|
||||
]
|
||||
},
|
||||
"execution_count": 8,
|
||||
|
@ -254,7 +254,7 @@
|
|||
{
|
||||
"data": {
|
||||
"text/plain": [
|
||||
"164569"
|
||||
"159805"
|
||||
]
|
||||
},
|
||||
"execution_count": 10,
|
||||
|
|
|
@ -1,8 +0,0 @@
|
|||
var fs = require('fs-extra');
|
||||
|
||||
fs.copySync('src/mxgraph/javascript/src/', 'lib/mxgraph/javascript/src/');
|
||||
fs.copySync('src/mxgraph/javascript/examples/grapheditor/www/', 'lib/mxgraph/javascript/examples/grapheditor/www/');
|
||||
// fs.copySync('src/mxgraph/javascript/examples/grapheditor/www/resources/grapheditor.txt',
|
||||
// 'lib/mxgraph/javascript/examples/grapheditor/www/resources/grapheditor.md');
|
||||
// fs.copySync('src/mxgraph/javascript/examples/grapheditor/www/resources/grapheditor.txt',
|
||||
// 'src/mxgraph/javascript/examples/grapheditor/www/resources/grapheditor.md');
|
2382
src/_static.ts
2382
src/_static.ts
Plik diff jest za duży
Load Diff
Ładowanie…
Reference in New Issue