mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-04 14:03:30 +00:00 
			
		
		
		
	Fixes #2665. Regenerated by tabbott with `lint --fix` after a rebase and change in parameters. Note from tabbott: In a few cases, this converts technical debt in the form of unsorted imports into different technical debt in the form of our largest files having very long, ugly import sequences at the start. I expect this change will increase pressure for us to split those files, which isn't a bad thing. Signed-off-by: Anders Kaseorg <anders@zulip.com>
		
			
				
	
	
		
			49 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Python
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			49 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Python
		
	
	
		
			Executable File
		
	
	
	
	
#!/usr/bin/env python3
 | 
						|
import glob
 | 
						|
import os
 | 
						|
import shutil
 | 
						|
import sys
 | 
						|
from typing import List
 | 
						|
 | 
						|
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 scripts.lib.setup_path import setup_path
 | 
						|
 | 
						|
setup_path()
 | 
						|
 | 
						|
from zulip_bots.lib import get_bots_directory_path
 | 
						|
 | 
						|
 | 
						|
def generate_zulip_bots_static_files() -> None:
 | 
						|
    bots_dir = 'static/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: List[str]) -> 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)
 | 
						|
 | 
						|
if __name__ == "__main__":
 | 
						|
    generate_zulip_bots_static_files()
 |