mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	This reverts commit 073ecaac66 (#9365).
This exception handler was overly broad in catching all `OSError`s,
and it made debugging harder by hiding the actual exception.
Furthermore, we no longer use NFS (#12963), and we’re now getting
reports of Windows users running into this message.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
		
	
		
			
				
	
	
		
			47 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Python
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			47 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Python
		
	
	
		
			Executable File
		
	
	
	
	
#!/usr/bin/env python3
 | 
						|
 | 
						|
def generate_zulip_bots_static_files() -> None:
 | 
						|
    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
 | 
						|
    from zulip_bots.lib import get_bots_directory_path
 | 
						|
 | 
						|
    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):
 | 
						|
        # type: (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()
 |