kopia lustrzana https://github.com/deathbeds/ipydrawio
66 wiersze
1.8 KiB
Python
66 wiersze
1.8 KiB
Python
""" patch drawio sources for embedding in JupyterLab"""
|
|
|
|
# Copyright 2021 ipydrawio contributors
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
import shutil
|
|
import sys
|
|
from pathlib import Path
|
|
|
|
HERE = Path(__file__).parent
|
|
ROOT = HERE.parent
|
|
DRAWIO = ROOT / "drawio/src/main/webapp"
|
|
# a much shorter path
|
|
DIO = ROOT / "dio"
|
|
PATCHES = {
|
|
"js/app.min.js": [
|
|
{
|
|
"name": "global ref so we can get at the App at runtime",
|
|
"before": "new App(new Editor",
|
|
"after": "window.IPYDRAWIO_APP = new App(new Editor",
|
|
}
|
|
]
|
|
}
|
|
|
|
|
|
def copy():
|
|
if DIO.exists():
|
|
shutil.rmtree(DIO)
|
|
shutil.copytree(DRAWIO, DIO)
|
|
return 0
|
|
|
|
|
|
def patch():
|
|
for path, patches in PATCHES.items():
|
|
src_path = DRAWIO / path
|
|
dest_path = DIO / path
|
|
txt = src_path.read_text(encoding="utf-8")
|
|
|
|
for patch in patches:
|
|
print(" ", patch["name"])
|
|
if patch["before"] not in txt:
|
|
print("Couldn't find", patch["before"])
|
|
elif patch["after"] not in txt:
|
|
print(" ...patching")
|
|
txt = txt.replace(patch["before"], patch["after"])
|
|
else:
|
|
print(" ...nothing to do")
|
|
|
|
dest_path.write_text(txt, encoding="utf-8")
|
|
return 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
sys.exit(copy() + patch())
|