mirror of
https://github.com/zulip/zulip.git
synced 2025-11-13 18:36:36 +00:00
bae1ecf1c5
tools/setup/generate_zulip_bots_static_files now starts off by deleting static/generated/bots/ (if it hasn't been removed already) so that outdated static files from older versions of the zulip_bots package don't supress errors in the main repo that would otherwise break. For more info, see #7542 Fixes: #7542.
45 lines
1.2 KiB
Python
Executable File
45 lines
1.2 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
|
|
import glob
|
|
import os
|
|
import sys
|
|
import shutil
|
|
|
|
ZULIP_PATH = os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
|
|
if ZULIP_PATH not in sys.path:
|
|
sys.path.append(ZULIP_PATH)
|
|
|
|
from typing import List, Text
|
|
from zproject import settings
|
|
from zulip_bots.lib import get_bots_directory_path
|
|
|
|
|
|
bots_dir = os.path.join(settings.STATIC_ROOT, 'generated/bots')
|
|
if os.path.isdir(bots_dir):
|
|
# delete old static files, they could be outdated
|
|
shutil.rmtree(bots_dir)
|
|
|
|
os.makedirs(bots_dir, exist_ok=True)
|
|
|
|
def copyfiles(paths):
|
|
# type: (List[Text]) -> None
|
|
for src_path in paths:
|
|
bot_name = os.path.basename(os.path.dirname(src_path))
|
|
|
|
bot_dir = os.path.join(bots_dir, bot_name)
|
|
os.makedirs(bot_dir, exist_ok=True)
|
|
|
|
dst_path = os.path.join(bot_dir, os.path.basename(src_path))
|
|
if not os.path.isfile(dst_path):
|
|
shutil.copyfile(src_path, dst_path)
|
|
|
|
package_bots_dir = get_bots_directory_path()
|
|
|
|
logo_glob_pattern = os.path.join(package_bots_dir, '*/logo.*')
|
|
logos = glob.glob(logo_glob_pattern)
|
|
copyfiles(logos)
|
|
|
|
doc_glob_pattern = os.path.join(package_bots_dir, '*/doc.md')
|
|
docs = glob.glob(doc_glob_pattern)
|
|
copyfiles(docs)
|